|
699
|
A calculus for cryptographic protocols: The spi calculus
– Martin Abadi, Andrew D. Gordon
- 1999
|
|
59
|
Proof Techniques for Cryptographic Processes
– Michele Boreale, Rocco De Nicola, Rosario Pugliese
- 1999
|
|
202
|
Mobile Values, New Names, and Secure Communication
– Martín Abadi, Cédric Fournet
- 2001
|
|
872
|
On the Security of Public Key Protocols
– Danny Dolev, et al.
- 1983
|
|
548
|
Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR
– Gavin Lowe
- 1996
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
24
|
On Bisimulations for the Spi Calculus
– Johannes Borgström, Uwe Nestmann
- 2002
|
|
221
|
Secrecy by Typing in Security Protocols
– Martín Abadi
- 1998
|
|
267
|
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
– Martín Abadi, Phillip Rogaway
- 2000
|
|
1040
|
A logic of authentication
– Michael Burrows, Martín Abadi, Roger Needham
- 1990
|
|
107
|
A Probabilistic Poly-Time Framework for Protocol Analysis
– P. Lincoln, J. Mitchell, M. Mitchell, A. Scedrov
- 1998
|
|
784
|
Using encryption for authentication in large networks of computers
– Roger M Needham, Michael D Schroeder
- 1978
|
|
79
|
On the Reachability Problem in Cryptographic Protocols
– Roberto M. Amadio, Roberto M. Amadio, Denis Lugiez, Denis Lugiez, Thème Réseaux Et Systèmes, Unité Inria, Sophia Antipolis
- 2000
|
|
520
|
Communicating and Mobile Systems: the π-Calculus
– Robin Milner
- 1999
|
|
363
|
Testing Equivalences for Processes
– R. De Nicola, M. C. B. Hennessy
- 1984
|
|
68
|
Secure Implementation of Channel Abstractions
– Martin Abadi, Cédric Fournet, Georges Gonthier
- 2000
|
|
67
|
Protection in Programming-Language Translations
– Martín Abadi, Martín Abadi
- 1998
|
|
70
|
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
– Riccardo Focardi, Roberto Gorrieri
- 1996
|
