Benjamin W. Long, Colin J. Fidge, David A. Carrington. Cross-Layer Verification of Type Flaw Attacks on Security Protocols. In Gillian Dobbie, editor, Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30 - February 2, 2007. Proceedings. Volume 62 of CRPIT, pages 171-180, Australian Computer Society, 2007. [doi]
Abstract is missing.