|
38
|
Refinement Types for Logical Frameworks
– Frank Pfenning
- 1993
|
|
783
|
Using encryption for authentication in large networks of computers
– R M Needham, M D Schroeder
- 1978
|
|
872
|
On the Security of Public Key Protocols
– Danny Dolev, et al.
- 1983
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
699
|
A calculus for cryptographic protocols: The spi calculus
– Martin Abadi, Andrew D. Gordon
- 1999
|
|
134
|
A meta-notation for protocol analysis
– I. Cervesato, N. A. Durgin, P. D. Lincoln, J. C. Mitchell, A. Scedrov
- 1999
|
|
32
|
CAPSL Intermediate Language
– G. Denker, J. Millen
- 1999
|
|
1040
|
A logic of authentication
– Michael Burrows, Martín Abadi, Roger Needham
- 1990
|
|
827
|
A Theory of Objects
– Luca Cardelli, Martín Abadi
- 1996
|
|
207
|
A survey of authentication protocol literature
– John Clark, Jeremy Jacob
- 1997
|
|
101
|
spaces: Why is a security protocol correct
– Strand
- 1998
|
|
30
|
Typed MSR: Syntax and Examples
– Iliano Cervesato
- 2001
|
|
332
|
Prudent Engineering Practice for Cryptographic Protocols
– Martin Abadi, Roger Needhamt
- 1994
|
|
151
|
Refinement types for ML
– Tim Freeman
- 1994
|
|
216
|
The NRL Protocol Analyzer: An Overview
– Catherine Meadows
- 1996
|
|
11
|
Typed Multiset Rewriting Specifications of Security Protocols
– Iliano Cervesato
- 2001
|
|
46
|
Relating Strands and Multiset Rewriting for Security Protocol Analysis (Extended Abstract)
– I. Cervesato, N. Durgin, J. Mitchell, P. Lincoln, A. Scedrov
- 2000
|
|
18
|
Interpreting Strands in Linear Logic
– I. Cervesato, N. Durgin, M. Kanovich, A. Scedrov
- 2000
|
|
81
|
Key management for large dynamic groups: One-way function trees and amortized initialization
– D. Balenson, D. McGrew, A. Sherman
- 2000
|
