Nathalie Foster, Jeremy Jacob. Hazard Analysis for Security Protocol Requirements. In Bart De Decker, Frank Piessens, Jan Smits, Els Van Herreweghen, editors, Advances in Network and Distributed Systems Security, IFIP TC11 WG11.4 First Annual Working Conference on Network Security, November 26-27, 2001, Leuven, Belgium. Volume 206 of IFIP Conference Proceedings, pages 75-92, Kluwer, 2001.
Abstract is missing.