author : Colin Boyd

Short works

• Towards a formal specification of the Bellare-Rogaway model for protocol analysis. 2003. (In Formal Aspects of Security )