Sciweavers

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

6

CSL
2003
Springer

favoriteEmaildiscussreport

87views Automated Reasoning» more CSL 2003»

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

13 years 9 months ago

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

Download www.avispa-project.org

Yannick Chevalier, Ralf Küsters, Michaël

Real-time Traffic

CSL 2003 |

claim paper

Related Content

» An NP Decision Procedure for Protocol Insecurity with XOR

» Intruder Deductions Constraint Solving and Insecurity Decision in Presence of Exclusive or

» Constraint Solving for ContractSigning Protocols

» Reducing protocol analysis with XOR to the XORfree case in the horn theory based approach

» The OpenSource FixedPoint Model Checker for Symbolic Analysis of Security Protocols

» State Space Reduction in the MaudeNRL Protocol Analyzer

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	CSL
Authors	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron

Comments (0)