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

Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani, Laurent Vigneron

Browse the full CSL paper archive.