M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero. Formal Verification of the Secure Sockets Layer Protocol. In José Cordeiro, Joaquim Filipe, editors, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June 12-16, 2008. pages 246-252, 2008.
@inproceedings{TobarraCPC08,
title = {Formal Verification of the Secure Sockets Layer Protocol},
author = {M. Llanos Tobarra and Diego Cazorla and Juan José Pardo and Fernando Cuartero},
year = {2008},
tags = {protocol},
researchr = {https://researchr.org/publication/TobarraCPC08},
cites = {0},
citedby = {0},
pages = {246-252},
booktitle = {ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June 12-16, 2008},
editor = {José Cordeiro and Joaquim Filipe},
isbn = {978-989-8111-38-8},
}