Prudent engineering practice for cryptographic protocols

Martín Abadi, Roger M. Needham. Prudent engineering practice for cryptographic protocols. In 1994 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 16-18, 1994. pages 122-136, IEEE Computer Society, 1994. [doi]

Abstract

Abstract is missing.