Analysis of the internet key exchange protocol using the NRL protocol analyzer (1999)

by C Meadows
Venue:In Security and Privacy, 1999. Proceedings of the 1999 IEEE Symposium on