Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau. Comparing State Spaces in Automatic Security Protocol Analysis. In Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, editors, Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration. Volume 5458 of Lecture Notes in Computer Science, pages 70-94, Springer, 2009. [doi]
Abstract is missing.