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. > >