Analyzing Security Protocols with Secrecy Types and Logic Programs Publication Type: Journal Article Authors: Martin Abadi; Bruno Blanchet Source: Journal of the ACM, Volume 52, Issue 1, p.102-146 (2005)
