Automated Unbounded Verification of Security Protocols (2002)
by
Y. Chevalier
,
L. Vigneron
| Venue: | In Proc. CAV’02, LNCS 2404 |
| Citations: | 20 - 2 self |
BibTeX
@INPROCEEDINGS{Chevalier02automatedunbounded,
author = {Y. Chevalier and L. Vigneron},
title = {Automated Unbounded Verification of Security Protocols},
booktitle = {In Proc. CAV’02, LNCS 2404},
year = {2002},
pages = {324--337},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present a new model for automated verification of security protocols, permitting the use of an unbounded number of protocol runs. We prove its correctness, completeness and also that it terminates. It has been implemented and its efficiency is clearly shown by the number of protocols successfully studied. In particular, we present an attack previously unreported on the Denning-Sacco symmetric key protocol.
Citations
| 28 | The AVISS Security Protocol Analysis Tool - Armando, Basin, et al. - 2002 |
| 5 | Towards Efficient Automated Verification of Security Protocols - Chevalier, Vigneron - 2001 |
