DocumentCode
1806789
Title
A logic for constraint-based security protocol analysis
Author
Corin, R. ; Saptawijaya, A.
Author_Institution
Twente Univ.
fYear
2006
fDate
21-24 May 2006
Lastpage
168
Abstract
We propose VS-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 constraint-based analysis techniques
Keywords
authorisation; constraint handling; formal specification; temporal logic; VS-LTL; authentication specification; constraint-based security protocol analysis; data freshness; pure-past security linear temporal logic; secrecy specification; symbolic execution traces; Access protocols; Authentication; Communication system control; Computer crime; Cryptographic protocols; Cryptography; Data security; Internet; Logic; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 2006 IEEE Symposium on
Conference_Location
Berkeley/Oakland, CA
ISSN
1081-6011
Print_ISBN
0-7695-2574-1
Type
conf
DOI
10.1109/SP.2006.3
Filename
1624009
Link To Document