Reynald Affeldt, Hubert Comon-Lundh. Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables. 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 1-20, Springer, 2009. [doi]
Abstract is missing.