|
901
|
Applied Cryptography
– B Schneier
- 1996
|
|
7
|
The internet billing server transaction protocol alternatives
– K R O'Toole
- 1994
|
|
3
|
A Neglected Aspect of Digital Signatures
– W Tsang, J John
- 1987
|
|
2
|
Protecting Poorly Chosen Secrets Against Guessing Attacks
– L Gong, M Lomas, R Needham, J Saltzer
- 1993
|
|
2
|
A Method for Obtaining Digital Signatures
– R Rivest, A Shamir, L Adleman
- 1978
|
|
13
|
A Logic of Authentication. Research Report 39, Digital Systems Research Center
– Michael Burrows, Mart n Abadi, Roger Needham
- 1989
|
|
34
|
Recent-secure authentication: enforcing revocation in distributed systems
– Stuart G. Stubblebine
- 1995
|
|
17
|
Logics for Cryptographic Protocols - Virtues and Limitations
– V. D. Gligor, Gligor Kailar, S. Stubblebine, L. Gong
- 1991
|
|
29
|
On a Limitation of BAN Logic
– Colin Boyd, Wenbo Mao
- 1993
|
|
79
|
Fail-Stop Protocols: An Approach to Designing Secure Protocols
– Li Gong
- 1994
|
|
46
|
Protocol failures in cryptosystems
– Judy H Moore
- 1988
|
|
21
|
Formal Requirements for Key Distribution Protocols
– Paul Syverson, Catherine Meadows
- 1995
|
|
43
|
On message integrity in cryptographic protocols
– S G Stubblebine, V D Gligor
- 1992
|
|
51
|
Cryptographic Protocols
– Richard A. DeMillo, Nancy A. Lynch, Michael Y. Merritt
- 1982
|
|
24
|
Reasoning about accountability in protocols for electronic commerce
– R Kailar
- 1995
|
|
100
|
The Design and Implementation of a Secure Auction Service
– Matthew Franklin, Michael Reiter
- 1995
|
|
30
|
Undetectable On-line Password Guessing Attacks
– Yun Ding, Patrick Horster, Yun Ding \delta Patrick Horster, Yun Ding \delta Patrick Horster
- 1995
|
|
21
|
Exploring the BAN Approach to Protocol Analysis
– E Snekkenes
|
|
111
|
Robustness Principles for Public Key Protocols
– Ross Anderson, Roger Needham
- 1995
|
