Operational semantics and verification of security protocols - Cremers, Cas, author (Springer-Verlag, 2012)