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