%0 Conference Paper %1 conf/secrypt/HoumaniD12 %A Houmani, Hanane %A Debbabi, Mourad %B SECRYPT %D 2012 %E Samarati, Pierangela %E Lou, Wenjing %E Zhou, Jianying %I SciTePress %K dblp %P 192-205 %T Formal Analysis of the TLS Handshake Protocol. %U http://dblp.uni-trier.de/db/conf/secrypt/secrypt2012.html#HoumaniD12 %@ 978-989-8565-24-2

@inproceedings{conf/secrypt/HoumaniD12, added-at = {2013-03-07T00:00:00.000+0100}, author = {Houmani, Hanane and Debbabi, Mourad}, biburl = {https://www.bibsonomy.org/bibtex/2c1c3abf88685dd005af0794b65fc128b/dblp}, booktitle = {SECRYPT}, crossref = {conf/secrypt/2012}, editor = {Samarati, Pierangela and Lou, Wenjing and Zhou, Jianying}, interhash = {30bb69faebf9af6fc3e1f40c62dcc598}, intrahash = {c1c3abf88685dd005af0794b65fc128b}, isbn = {978-989-8565-24-2}, keywords = {dblp}, pages = {192-205}, publisher = {SciTePress}, timestamp = {2017-03-30T12:30:24.000+0200}, title = {Formal Analysis of the TLS Handshake Protocol.}, url = {http://dblp.uni-trier.de/db/conf/secrypt/secrypt2012.html#HoumaniD12}, year = 2012 }