You are about to access our book library "Operational Semantics and Verification of Security Protocols (Information Security and Cryptography) full version" .