Abstract
Internet commerce requires secure communications. To order goods, a customer typically sends credit card details. To order life insurance, the customer might have to supply confidential personal data. Internet users would like to know that such information is safe from eavesdropping or tampering.
M. Abadi encouraged me to understand TLS and referred me to related work. J. Margetson pointed out simplifications to the model. C. Ballarin commented on a draft. Research funded by the epsrc, grants GR/K77051 ‘Authentication Logics’ and GR/K57381 ‘Mechanizing Temporal Reasoning.’
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tim Dierks and Christopher Allen. The TLS protocol: Version 1.0, November 1997. Internet-draft draft-ietf-tls-protocol-05.txt
Alan O. Freier, Philip Karlton, and Paul C. Kocher. The SSL protocol version 3.0.
John C. Mitchell, Vitaly Shmatikov, and Ulrich Stern. Finite-state analysis of SSL 3.0 and related protocols. In Hilarie Orman and Catherine Meadows, editors, Workshop on Design and Formal Verification of Security Protocols. DIMACS, September 1997.
Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. Springer, 1994. LNCS 828.
Lawrence C. Paulson. On two formal analyses of the Yahalom protocol. Technical Report 432, Computer Laboratory, University of Cambridge, July 1997.
Lawrence C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 1998. in press.
David Wagner and Bruce Schneier. Analysis of the SSL 3.0 protocol. On the Internet at http://www.cs.berkeley.edu/~daw/ssl3.0.ps, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulson, L.C. (1998). Inductive Analysis of the Internet Protocol TLS. In: Christianson, B., Crispo, B., Harbison, W.S., Roe, M. (eds) Security Protocols. Security Protocols 1998. Lecture Notes in Computer Science, vol 1550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49135-X_1
Download citation
DOI: https://doi.org/10.1007/3-540-49135-X_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65663-0
Online ISBN: 978-3-540-49135-4
eBook Packages: Springer Book Archive