Operational Semantics and Verification of Security Protocols by Cas Cremers & Sjouke Mauw