author : Andy Gordon

Short works

• Authenticity types for cryptographic protocols. 2003. (In Formal Aspects of Security )