Paul Morrissey, Nigel P. Smart, Bogdan Warinschi. A Modular Security Analysis of the TLS Handshake Protocol. In Josef Pieprzyk, editor, Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings. Volume 5350 of Lecture Notes in Computer Science, pages 55-73, Springer, 2008. [doi]
@inproceedings{MorrisseySW08, title = {A Modular Security Analysis of the TLS Handshake Protocol}, author = {Paul Morrissey and Nigel P. Smart and Bogdan Warinschi}, year = {2008}, doi = {10.1007/978-3-540-89255-7_5}, url = {http://dx.doi.org/10.1007/978-3-540-89255-7_5}, tags = {protocol, analysis, security}, researchr = {https://researchr.org/publication/MorrisseySW08}, cites = {0}, citedby = {0}, pages = {55-73}, booktitle = {Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings}, editor = {Josef Pieprzyk}, volume = {5350}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-89254-0}, }