author : Benjamin W. Long

Short works

• Formal verification of a type flaw attack on a security protocol using Object-Z. 2005. (In ZB 2005 )