Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis J. Mitchell, A. Ramanathan, A. Scedrov, V. Teague Partially supported by.
Course Review Anupam Datta CMU Fall 2007-08 18739A: Foundations of Security and Privacy.
Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis