Network Security Protocols and Defensive Mechanisms
Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis