Inductive Analysis of the Internet Protocol TLS (1997)

View PDF

Download Links

by Lawrence C. Paulson
Venue:ACM Transactions on Information and System Security
Citations:126 - 16 self

Active Bibliography

Communication Networks]: Network Protocols—Protocol Verification – Lawrence C. Paulson
27 Proving security protocols correct – Lawrence C. Paulson - 1999
unknown title – unknown authors
433 The inductive approach to verifying cryptographic protocols – Lawrence C. Paulson - 1998
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
861 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
1213 A logic of authentication – Michael Burrows, MartĂ­n Abadi, Roger Needham - 1990
720 Ariadne: A secure on-demand routing protocol for ad hoc networks – Yih-chun Hu - 2002
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993