Daniel Le Métayer. IT Security Analysis Best Practices and Formal Approaches. In Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Volume 4677 of Lecture Notes in Computer Science, pages 75-91, Springer, 2007. [doi]
Abstract is missing.