An improved constraint-based system for the verification of security protocols (2002)
Cached
Download Links
- [www.msr-inria.inria.fr]
- [wwwhome.cs.utwente.nl]
- [www.ub.utwente.nl]
- DBLP
Other Repositories/Bibliography
| Venue: | 9TH INT. STATIC ANALYSIS SYMP. (SAS), VOLUME LNCS 2477 |
| Citations: | 47 - 14 self |
BibTeX
@INPROCEEDINGS{Corin02animproved,
author = {Ricardo Corin and Sandro Etalle},
title = {An improved constraint-based system for the verification of security protocols},
booktitle = {9TH INT. STATIC ANALYSIS SYMP. (SAS), VOLUME LNCS 2477},
year = {2002},
pages = {326--341},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov [30]. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect flaws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. In this paper we also show why these improvements yield a more effective and practical system.
