%0 Conference Paper %1 conf/iceis/TobarraCPC08 %A Tobarra, Llanos %A Cazorla, Diego %A Pardo, Juan José %A Cuartero, Fernando %B ICEIS (3-2) %D 2008 %E Cordeiro, José %E Filipe, Joaquim %K dblp %P 246-252 %T Formal Verification of the Secure Sockets Layer Protocol. %U http://dblp.uni-trier.de/db/conf/iceis/iceis2008-3-2.html#TobarraCPC08

@inproceedings{conf/iceis/TobarraCPC08, added-at = {2020-04-30T00:00:00.000+0200}, author = {Tobarra, Llanos and Cazorla, Diego and Pardo, Juan José and Cuartero, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/203bccad0c1a8c07bf7ade8ff1a21840b/dblp}, booktitle = {ICEIS (3-2)}, crossref = {conf/iceis/2008-3-2}, editor = {Cordeiro, José and Filipe, Joaquim}, interhash = {08b7299dc5a4fcd49ba106ff4e32d215}, intrahash = {03bccad0c1a8c07bf7ade8ff1a21840b}, keywords = {dblp}, note = {978-989-8111-38-8}, pages = {246-252}, timestamp = {2020-05-01T11:41:33.000+0200}, title = {Formal Verification of the Secure Sockets Layer Protocol.}, url = {http://dblp.uni-trier.de/db/conf/iceis/iceis2008-3-2.html#TobarraCPC08}, year = 2008 }