QoP-ML: Quality of protection modelling language for cryptographic protocols

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

Computing, Computer Science, Computer Architecture +16

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

Mobile values, new names, and secure communication

Martı́n Abadi, Cédric Fournet · 2001 · 843 citations

Computing, Computer Science, Formal Methods +15

A Calculus for Cryptographic Protocols: The Spi Calculus

Martı́n Abadi, Andrew D. Gordon · Information and Computation · 1999 · 664 citations

Computing, Computer Science, Mathematics +13