Hubert Comon-Lundh, Véronique Cortier. How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. In Thomas Schwentick, Christoph Dürr, editors, 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. Volume 9 of LIPIcs, pages 29-44, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
@inproceedings{Comon-LundhC11,
title = {How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones},
author = {Hubert Comon-Lundh and Véronique Cortier},
year = {2011},
doi = {10.4230/LIPIcs.STACS.2011.29},
url = {http://dx.doi.org/10.4230/LIPIcs.STACS.2011.29},
tags = {protocol, security},
researchr = {https://researchr.org/publication/Comon-LundhC11},
cites = {0},
citedby = {0},
pages = {29-44},
booktitle = {28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany},
editor = {Thomas Schwentick and Christoph Dürr},
volume = {9},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-25-5},
}