Symbolic Logic for Complexity- theoretic Model of Security Protocols Anupam Datta Ante Derek John C. Mitchell Vitaly Shmatikov Mathieu Turuani May 5, 2005.
Logics for Security Protocols Anupam Datta Fall 2007-08 18739A: Foundations of Security and Privacy.