BlanchetETAPS12

Bruno Blanchet Back to publications

Bruno Blanchet. Security Protocol Verification: Symbolic and Computational Models. In Pierpaolo Degano and Joshua Guttman, editors, First Conference on Principles of Security and Trust (POST'12), volume 7215 of Lecture Notes in Computer Science, pages 3-29, Tallinn, Estonia, March 2012. Springer.

Copyright

Get the paper

.pdf, 235 Kb

Links

LNCS series home page.

This paper at Springer: http://dx.doi.org/10.1007/978-3-642-28641-4_2

Abstract

Security protocol verification has been a very active research area since the 1990s. This paper surveys various approaches in this area, considering the verification in the symbolic model, as well as the more recent approaches that rely on the computational model or that verify protocol implementations rather than specifications. Additionally, we briefly describe our symbolic security protocol verifier ProVerif and situate it among these approaches.

Bibtex


@INPROCEEDINGS{BlanchetETAPS12,
  AUTHOR = {Bruno Blanchet},
  TITLE = {Security Protocol Verification: Symbolic and Computational Models},
  BOOKTITLE = {First Conference on Principles of Security and Trust (POST'12)},
  PAGES = {3--29},
  YEAR = 2012,
  EDITOR = {Pierpaolo Degano and Joshua Guttman},
  VOLUME = 7215,
  SERIES = {Lecture Notes in Computer Science},
  ADDRESS = {Tallinn, Estonia},
  MONTH = MAR,
  PUBLISHER = {Springer}
}

E-mail/Courrier électronique : Bruno.Blanchet@trap-inria.fr (remove trap-)