Abstract:
The past two decades have seen an enormous increase in the development and use of networked and distributed systems, providing increased functionality to the user and more efficient use of resources. To obtain the
Citations
|
1976
|
A method for obtaining digital signatures and public-key cryptosystems
– Rivest, Shamir, et al.
- 1978
|
|
947
|
A Logic for Authentication
– Burrows, Abadi, et al.
- 1990
|
|
734
|
Applied Cryptography
– Schneier
- 1996
|
|
697
|
Using encryption for authentication in large networks of computers
– Needham, Schroeder
- 1978
|
|
207
|
Timestamps in key distribution protocols
– Denning, Sacco
- 1981
|
|
103
|
Protecting poorly chosen secrets from guessing attacks
– Gong, Lomas, et al.
- 1993
|
|
95
|
E cient and Timely Mutual Authentication
– Otway, Rees
- 1987
|
|
68
|
A Taxonomy of Replay Attacks
– Syverson
- 1994
|
|
53
|
Protocol failures in cryptosystems
– Moore
- 1988
|
|
52
|
On message integrity in cryptographic protocols
– Stubblebine, Gligor
- 1992
|
|
31
|
Roles in cryptographic protocols
– Snekkenes
- 1992
|
|
29
|
Towards the Formal Analysis of Security Protocols
– Mao, Boyd
- 1993
|
|
23
|
A Critique of the Burrows
– Nessett
- 1990
|
|
19
|
Hidden Assumptions in Cryptographic Protocols
– Boyd
- 1990
|
|
18
|
Encrypted Key Exchange: Password based protocols secure against dictionary attacks
– Bellovin, Merritt
- 1992
|
|
15
|
On the security of recent protocols
– Clark, Jacob
- 1995
|
|
13
|
Cryptographic protocol flaws
– Carlsen
- 1994
|
|
11
|
Development of Authentication Protocols: Some Misconceptions and a New Approach
– Mao, Boyd
- 1994
|
|
8
|
On the security of SPLICE/AS--- the authentication system
– Hwang, Chen
- 1995
|
|
6
|
A Note on Redundancy in Encrypted Messages
– Gong
- 1990
|
|
3
|
On Key Distribution for Repeated Authentication
– Syverson
- 1994
|
|
