Formal characterization and automated analysis of known-pair and chosen-text attacks

IEEE Journal on Selected Areas in Communications

Volumn 18, Issue 4, 2000, Pages 571-581

  Stubblebine, Stuart G ^a   Meadows, Catherine A ^b  

^a CertCo Inc   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK PROTOCOLS; SECURITY OF DATA;

CIPHER MODES;

CRYPTOGRAPHY;

EID: 0033741481     PISSN: 07338716     EISSN: None     Source Type: Journal    
DOI: 10.1109/49.839933     Document Type: Article

References (14)

1. IP Encapsulating Security Payload (ESP), Request for Comments (Proposed Standard) RFC 1827, Aug. 1995.
2. Security Architecture for the Internet Protocol, Request for Comments (Proposed Standard) RFC 1825, Aug. 1995.
3. S. M. Bellovin, "Problem areas for the IP security protocols," in Proc. 6th Usenix UNIX Security Symp., San Jose, CA, July 1996.
4. C. Meadows, "A system for the specification and verification of key management protocols," in Proc. 1991 IEEE Computer Soc. Symp. Research Security Privacy, May 1991.
5. _, "Applying formal methods to the analysis of a key management protocol," J. Computer Security, vol. 1, no. 1, Jan. 1992.
6. _, "The NRL protocol analyzer: An overview," J. Logic Programming, vol. 19, no. 20, pp. 1-679, 1996.
7. _, "Analysis of the Internet key exchange protocol using the NRL protocol analyzer," in Proc. 1999 IEEE Symp. Security Privacy, May 1999.
8. _, "Analyzing the Needham-Schroeder public-key protocol: A comparison of two approaches," in Computer Security - ES-ORICS'96. Berlin: Springer-Verlag, Sept. 1996, pp. 364-365.
9. The ESP DES-CBC Transform, Request for Comments (Proposed Standard) RFC 1829, Aug. 1995.
10. S. Stubblebine and V. Gligor, "Protecting the integrity of privacy-enhanced electronic mail with DES-based authentication codes," presented at the PSRG Workshop on Network and Distributed System Security, San Diego, CA, Feb. 1993.
11. _, "Protocol design for integrity protection," in IEEE Computer Soc. Symp. Research Security Privacy, Oakland, CA, May 1993, pp. 41-53.
12. _, "On message integrity in cryptographic protocols," in IEEE Computer Soc. Symp. Research Security Privacy, Oakland, CA, May 1992, pp. 85-104.
13. S. Stubblebine and C. Meadows, "On known and chosen cipher pairs," in Proc. DIMACS Workshop Design Formal Verification Security Protocols, Rutgers, NJ, Sept. 1997, http://dimacs.rutgers.edu/Workshops/Security/program2/program.html.
14. V. L. Voydock and S. T. Kent, "Security mechanisms in high-level network protocols," Computing Surveys, vol. 15, no. 2, June 1983.