Sciweavers

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

79

CORR
2004
Springer

88views Education» more CORR 2004»

A Trace Logic for Local Security Properties

15 years 3 months ago

A Trace Logic for Local Security Properties

Download www.ub.utwente.nl

Ricardo Corin, Antonio Durante, Sandro Etalle, Pie

Real-time Traffic

CORR 2004 | Education |

claim paper

Related Content

» Automating Security Analysis Symbolic Equivalence of Constraint Systems

» Distributed Monitoring in Ad Hoc Networks Conformance and Security Checking

» A Logic for Constraintbased Security Protocol Analysis

» A New Logic for Electronic Commerce Protocols

» Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets

» From symptom to cause localizing errors in counterexample traces

» An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols

» Types and trace effects of higher order programs

» Proof Theory Transformations and Logic Programming for Debugging Security Protocols

Post Info
More Details (n/a)

Added	17 Dec 2010
Updated	17 Dec 2010
Type	Journal
Year	2004
Where	CORR
Authors	Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel

Comments (0)