Michael Backes, Birgit Pfitzmann, Michael Waidner. Justifying a Dolev-Yao Model Under Active Attacks. In Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli, editors, Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Volume 3655 of Lecture Notes in Computer Science, pages 1-41, Springer, 2004. [doi]
Abstract is missing.