Bibliographic Citation
| - Chevalier Yannick, Küsters Ralf, Rusinowitch Michaël, Turuani Mathieu, Vigneron Laurent. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. [Research Report] RR-4869, INRIA. 2003, pp.22
- Chevalier Yannick, Küsters Ralf, Rusinowitch Michaël, Turuani Mathieu, Vigneron Laurent. Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. [Research Report] RR-4869, INRIA. 2003, pp.22
|