AbadiBlanchetComonCAV09
Bruno Blanchet
Back to publications
Martín Abadi (invited speaker), Bruno Blanchet, and Hubert Comon-Lundh.
Models and Proofs of Protocol Security: A Progress Report.
In Ahmed Bouajjani and Oded Maler, editors, 21st International
Conference on Computer Aided Verification (CAV'09), volume 5643 of
Lecture Notes in Computer Science, pages 35-49, Grenoble, France, June
2009. Springer.
Copyright
© Springer-Verlag.
Get the paper
.pdf, 122 Kb
Links
LNCS series home page.
This paper at Springer: http://dx.doi.org/10.1007/978-3-642-02658-4_5
Abstract
This paper
discusses progress in the verification of security protocols.
Focusing on a small, classic example, it stresses the use of program-like
representations of protocols, and their automatic analysis in symbolic and computational models.
Bibtex
@INPROCEEDINGS{AbadiBlanchetComonCAV09,
AUTHOR = {Mart{\'\i}n Abadi (invited speaker) and Bruno Blanchet and Hubert Comon-Lundh},
TITLE = {Models and Proofs of Protocol Security: A Progress Report},
BOOKTITLE = {21st International Conference on Computer Aided Verification (CAV'09)},
PAGES = {35--49},
YEAR = 2009,
EDITOR = {Ahmed Bouajjani and Oded Maler},
VOLUME = 5643,
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Grenoble, France},
MONTH = JUN,
PUBLISHER = {Springer}
}
E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)