DMCA
Security protocol verification: Symbolic and computational models (2012)
| Venue: | PRINCIPLES OF SECURITY AND TRUST - FIRST INTERNATIONAL CONFERENCE, POST 2012, VOLUME 7215 OF LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 10 - 0 self |
BibTeX
@INPROCEEDINGS{Blanchet12securityprotocol,
author = {Bruno Blanchet},
title = {Security protocol verification: Symbolic and computational models},
booktitle = {PRINCIPLES OF SECURITY AND TRUST - FIRST INTERNATIONAL CONFERENCE, POST 2012, VOLUME 7215 OF LECTURE NOTES IN COMPUTER SCIENCE},
year = {2012},
pages = {3--29},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
