


, “Security-related comments regarding McEliece’s public-key cryptosystem”, M EIJER, “Securityrelated comments regarding McEliece’s public-key cryptosystem”, Advances inĬryptology–CRYPTO ’87 (LNCS 293), 224– 228, 1988. , “IDUP and SPKM: Developing public-key-based APIs and mechanisms for communication security services”, Proceedings of the Internet Society Symposium on Network and Distributed System Security, 128– 135, IEEE Computer Society Press, 1996. A DAMS, “Symmetric cryptographic system for data encryption”, U.S.

T UTTLE, “A semantics for a logic of authentication”, Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 201– 216, 1991. N EEDHAM, “Prudent engineering practice for cryptographic protocols”, DEC SRC report #125, Digital Equipment Corporation, Palo Alto, CA, 1994.
