Catherine Meadows of NRL applied the NRL Protocol Analyzer to IKE. Her
paper can be found at:
http://chacs.nrl.navy.mil/publications/CHACS/1999/1999meadows-IEEE99.{ps,pdf}
>
>If anyone knows of additional links that should be on that list, please
>let me know.
>
>