Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)