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)
Share/Save