Formal verification: an imperative step in the design of security protocols

New directions in cryptography

Whitfield Diffie, Martin E. Hellman · IEEE Transactions on Information Theory · 1976 · 14.4K citations

Computing, Communication, Computer Science +11

Using encryption for authentication in large networks of computers

Roger M. Needham, Michael Schroeder · Communications of the ACM · 1978 · 2.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

The Inductive Approach to Verifying Cryptographic Protocols

1998 · 842 citations

Computing, Computer Science, Cryptography +16

A logic of authentication

Michael T. Burrows, M. Abadi, R. Needham · 1989 · 643 citations

Computing, Computer Science, Authentication +15

Reasoning about belief in cryptographic protocols

L. Gong, R. Needham, Raphael Yahalom · 1990 · 630 citations

Computing, Computer Science, Cryptography +9