Blanchet, Bruno Static Analysis, MPI for Informatics, Max Planck Society;
Abadi, M., & Blanchet, B. (2005). Analyzing Security Protocols with Secrecy Types and Logic Programs. Journal of the ACM, 52(1), 102-146. Retrieved from http://doi.acm.org/10.1145/1044731.1044735.