TY - GEN
T1 - A logic for constraint-based security protocol analysis
AU - Corin, Ricardo
AU - Saptawijaya, Ari
AU - Etalle, Sandro
PY - 2006
Y1 - 2006
N2 - 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 constraint-based analysis techniques.
AB - 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 constraint-based analysis techniques.
UR - http://www.scopus.com/inward/record.url?scp=33751024861&partnerID=8YFLogxK
U2 - 10.1109/SP.2006.3
DO - 10.1109/SP.2006.3
M3 - Conference contribution
AN - SCOPUS:33751024861
SN - 0769525741
SN - 9780769525747
T3 - Proceedings - IEEE Symposium on Security and Privacy
SP - 155
EP - 168
BT - Proceedings - 2006 IEEE Symposium on Security and Privacy, S+P 2006
T2 - 2006 IEEE Symposium on Security and Privacy, S and P 2006
Y2 - 21 May 2006 through 24 May 2006
ER -