The Needham-Schroeder Protocol is a symmetric-key authentication and key exchange protocol designed to enable secure communication between two parties over an insecure network by using a trusted third party to distribute session keys while preventing eavesdropping and replay attacks.
48
Publications
4.2K
Citations
85
Authors
52
Institutions
Publications per year
2017–2026
1
Publications
48
Breaking and Fixing the Needham−Schroeder Public−Key Protocol Using FDR
Gavin Lowe · 1996 · 587 citations
Automated analysis of cryptographic protocols using Murφ
John C. Mitchell, Murray Mitchell, Ulrich Stern · 2002 · 479 citations
1–5 of 48
Authors
85
- GL
3
h-index
- ES
2
h-index
- JK
2
h-index
- PH
2
h-index
- AM
2
h-index
1–5 of 85
Institutions
52
Western Sydney University
Richmond, Australia
2 h-index
2 publications
30 citations
Mitre (United States)
Bedford, United States
2 h-index
4 publications
1.2K citations
IBM Research - Zurich
Rüschlikon, Switzerland
2 h-index
4 publications
208 citations
University of Oxford
Oxford, United Kingdom
2 h-index
2 publications
1.2K citations
SRI International
Menlo Park, United States
2 h-index
2 publications
65 citations
The University of Tokyo
Tokyo, Japan
2 h-index
2 publications
94 citations
University of Twente
Enschede, The Netherlands
2 h-index
8 publications
304 citations
University of California, Berkeley
Berkeley, United States
2 h-index
3 publications
611 citations
1–8 of 52
Venues
- Journal of Computer Security
5 publications · 303 citations
5
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 55 citations
4
h-index
- ACM SIGOPS Operating Systems Review
2 publications · 77 citations
2
h-index
- Physical Review Letters
PRL · 1 publications · 15 citations
1
h-index
- IEEE Transactions on Smart Grid
1 publications · 280 citations
1
h-index
1–5