John McLean. Formal methods in security engineering: where we ve been, where we are, where we need to go. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 1, ACM, 2007. [doi]
Abstract is missing.