Ioana Boureanu: Model Checking Security Protocols: A Multiagent System Approach. École Polytechnique Fédérale de Lausanne, Écublens, Vaud, Switzerland 2012