Riccardo Focardi. Static Analysis of Authentication. 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 109-132, Springer, 2004. [doi]
Abstract is missing.