You are about to access our book library "Security Protocols and Threat Models: Security and Privacy via The Applied π-Calculus (Information Security and Cryptography) full version" .