Benjamin W. Long. Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 319-333, Springer, 2005. [doi]
Abstract is missing.