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 :
بازگشت