Benjamin W. Long

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Benjamin W. Long
Security in Depth through Smart Space Cascades. ACISP (2011)
Benjamin W. Long, Colin J. Fidge, David A. Carrington
Cross-Layer Verification of Type Flaw Attacks on Security Protocols. ACSC (2007)
Benjamin W. Long, Colin J. Fidge
Formally Analysing a Security Protocol for Replay Attacks. ASWEC (2006)
Benjamin W. Long
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z. ZB (2005)
Benjamin W. Long
Formalising Key-Distribution in the Presence of Trust using Object-Z. ACSW (2003)
Benjamin W. Long
Formal Verification of Type Flaw Attacks in Security Protocols. APSEC (2003)
Brad Long, Benjamin W. Long
Formal Specification of Java Concurrency to Assist Software Verification. IPDPS (2003)
Benjamin W. Long, Colin J. Fidge, Antonio Cerone
A Z Based Approach to Verifying Security Protocols. ICFEM (2003)