Sciweavers

Share
CSL
2003
Springer

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

12 years 4 months ago
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
Yannick Chevalier, Ralf Küsters, Michaël
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)
books