Sciweavers

Share
SP
2006
IEEE

A Logic for Constraint-based Security Protocol Analysis

12 years 3 months ago
A Logic for Constraint-based Security Protocol Analysis
We propose PS-LTL, a pure-past security linear temporal logic that allows the speciļ¬cation 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.
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where SP
Authors Ricardo Corin, Sandro Etalle, Ari Saptawijaya
Comments (0)
books