Paul F. Syverson, Iliano Cervesato. The Logic of Authentication Protocols. In Riccardo Focardi, Roberto Gorrieri, editors, Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Volume 2171 of Lecture Notes in Computer Science, pages 63-136, Springer, 2000. [doi]
Abstract is missing.