A logic for constraint-based security protocol analysis (2006)
by
Ricardo Corin
| Venue: | in IEEE Symposium on Security and Privacy |
| Citations: | 14 - 1 self |
BibTeX
@INPROCEEDINGS{Corin06alogic,
author = {Ricardo Corin},
title = {A logic for constraint-based security protocol analysis},
booktitle = {in IEEE Symposium on Security and Privacy},
year = {2006},
pages = {155--168},
publisher = {IEEE Computer Society Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we present a sound and complete decision procedure to establish the validity of security properties for symbolic execution traces, and show the integration with constraintbased analysis techniques. 1
