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

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-)