author : Dieter Gollmann

Short works

• Analysing security protocols. 2003. (In Formal Aspects of Security )