Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

SP
2006
IEEE

favoriteEmaildiscussreport

104views Security Privacy» more SP 2006»

A Logic for Constraint-based Security Protocol Analysis

13 years 10 months ago

A Logic for Constraint-based Security Protocol Analysis

Download eprints.eemcs.utwente.nl

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

Real-time Traffic

Data Freshness Properties | Linear Temporal Logic | Security Privacy | SP 2006 | Symbolic Execution Traces |

claim paper

Related Content

» Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

» On the protocol composition logic PCL

» Modeling Adversaries in a Logic for Security Protocol Analysis

» C3PO A Tool for Automatic Sound Cryptographic Protocol Analysis

» On BAN Logics for Industrial Security Protocols

» Towards computationally sound symbolic analysis of key exchange protocols

» On the automated implementation of modal logics used to verify security protocols

» Analysis of a mobile communication security protocol

» SATbased modelchecking for security protocols analysis

Post Info
More Details (n/a)

Added	12 Jun 2010
Updated	12 Jun 2010
Type	Conference
Year	2006
Where	SP
Authors	Ricardo Corin, Sandro Etalle, Ari Saptawijaya

Comments (0)