Operational Semantics and Verification of Security Protocols - Cremers, Cas; Mauw, Sjouke (Springer Berlin Heidelberg : Imprint: Springer, 2012)