@Inproceedings{EPTCS268.1, author = {Bozic, Josip and Marsso, Lina and Mateescu, Radu and Wotawa, Franz}, year = {2018}, title = {A Formal TLS Handshake Model in LNT}, editor = {Gallagher, John P. and Glabbeek, Rob van and Serwe, Wendelin}, booktitle = {{\rm Proceedings Third Workshop on} Models for Formal Analysis of Real Systems {\rm and Sixth International Workshop on} Verification and Program Transformation, {\rm Thessaloniki, Greece, 20th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {268}, publisher = {Open Publishing Association}, pages = {1-40}, doi = {10.4204/EPTCS.268.1}, }