Design Principles

  • Li Gong, "A Note on Redundancy in Encrypted Messages," ACM Computer Communication Review, Vol. 20, No. 5, pp. 18-22, Oct. 1990.
  • Li Gong, "Variations on the Themes of Message Freshness and Replay," Proc. of the IEEE Computer Security Foundations Workshop VI, pp.131-136, June 1993.
  • Martin Abadi and Roger Needham, "Prudent Engineering Practice for Cryptographic Protocols," Proc. of the 1994 IEEE Symp. on Security and Privacy, pp. 122--136, May 1994
    IEEE Transactions on Software Engineering, Vol. 22, No. 1, pp. 6-15, Jan. 1996.
  • Paul Syverson, "A Taxonomy of Replay Attacks," Proc. of the IEEE Computer Security Foundations Workshop VII, pp. 131-136. June 1994.
  • Wenbo Mao and Colin Boyd, "Classification of cryptographic techniques in authentication protocols," Proc. of the 1994 Workshop on Selected Areas in Cryptography, pp. 95-104, May 1994.
  • Wenbo Mao and Colin Boyd, "Development of Authentication Protocols: Some Misconceptions and a New Approach," Proc. of the IEEE Computer Security Foundations Workshop VII, pp. 178-186. June 1994.
  • Wenbo Mao and Colin Boyd, "On strengthening authentication protocols to foil cryptanalysis," Proc. of the 1994 European Symposium on Research in Computer Security (ESORICS'94), Springer Verlag, LNCS 875, pp. 193-204. Nov. 1994.
  • Ross Anderson and Roger Needham, "Robustness Principles for Public Key Protocols," Advances in Cryptology, CRYPTO'95, Springer Verlag, LNCS 963, pp. 236-247. Aug. 1995.
  • Paul Syverson, "Limitations on Design Principles for Public Key Protocols," Proc. of the 1996 IEEE Symp. on Security and Privacy, pp. 62-73, May 1996.
Key Establishment Protocols

  • Steven M. Bellovin and Michael Merritt, "Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attack," Proc. of the IEEE Symp. on Research in Security and Privacy, pp. 72-84, May 1992.
  • Steven M. Bellovin and Michael Merritt, "Augmented Encrypted Key Exchange," Proc. of the 1st ACM Conf. on Computer and Communications Security pp. 244-250, Nov. 1993.
Verification Logic

  • Michael Burrows, Martin Abadi, and Roger Needham, "A Logic of Authentication," ACM Transactions on Computer Systems, Vol. 8, No. 1, pp. 18-36, Feb. 1990.
Links

[Home]| [Publication]| [Research]| [Class]| [My Warehouse]| [About Me]

Last Updated. 2001. 5. 2.