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

by C Meadows
Venue:In: Proceedings of the IEEE Symposium Security and Privacy