International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

The TLS Handshake Protocol: A Modular Analysis

Authors:
Paul Morrissey
Nigel P. Smart
Bogdan Warinschi
Download:
DOI: 10.1007/s00145-009-9052-3
Search ePrint
Search Google
BibTeX
@article{jofc-2010-23448,
  title={The TLS Handshake Protocol: A Modular Analysis},
  journal={J. Cryptology},
  volume={23},
  pages={187-223},
  doi={10.1007/s00145-009-9052-3},
  author={Paul Morrissey and Nigel P. Smart and Bogdan Warinschi},
  year=2010
}