Analyzing Security Protocols with Secrecy Types and Logic Programs

Тип публикация:

Journal Article

Автори:

Martin Abadi; Bruno Blanchet

Източник:

Journal of the ACM, Volume 52, Issue 1, p.102-146 (2005)
Share/Save