Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer
- 20 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- CAPSL interface for the NRL Protocol AnalyzerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Some new attacks upon security protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- SKEME: a versatile secure key exchange mechanism for InternetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A system for the specification and analysis of key management protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Internet Security Association and Key Management Protocol (ISAKMP)Published by RFC Editor ,1998
- Inductive Analysis of the Internet Protocol TLSPublished by Springer Nature ,1998
- The NRL Protocol Analyzer: An OverviewThe Journal of Logic Programming, 1996
- A model for secure protocols and their compositionsIEEE Transactions on Software Engineering, 1996
- STeP: The Stanford Temporal Prover,Published by Defense Technical Information Center (DTIC) ,1994
- Authentication and authenticated key exchangesDesigns, Codes and Cryptography, 1992