Statistics
Publications
5
Citations
2K
H-Index
5
Active since
1989
Affiliations
R. Needham is an author at University of Cambridge specializing in computing, protocol analysis, and computer science.
Publications per year
1989–1996
5
5
Michael T. Burrows, M. Abadi, R. Needham · 1989 · 643 citations
Reasoning about belief in cryptographic protocols
L. Gong, R. Needham, Raphael Yahalom · 1990 · 630 citations
Prudent engineering practice for cryptographic protocols
M. Abadi, R. Needham · 1994 · 94 citations
Michael T. Burrows, M. Abadi, R. Needham · ACM SIGOPS Operating Systems Review · 1989 · 60 citations
1–5 of 5