%0 Conference Proceedings
%A Long, Benjamin
%A Fidge, Colin
%A Carrington, David
%D 2007
%T Cross-Layer Verification of Type Flaw Attacks on Security Protocols
%E Dobbie, Gillian
%B Thirtieth Australasian Computer Science Conference (ACSC2007)
%C Ballarat Australia
%I ACS
%V 62
%P 171-180
%S CRPIT
%! Cross-Layer Verification of Type Flaw Attacks on Security Protocols
%F CRPITV62-171-180
%Z abstract
%U http://crpit.com/confpapers/CRPITV62Long.pdf