Analyzing Security Protocols with Secrecy Types and Logic Programs Вид публикации: Journal Article Авторы: Martin Abadi; Bruno Blanchet Источник: Journal of the ACM, Volume 52, № 1, p.102-146 (2005)