Using Horn Clauses for Analyzing Security Protocols Вид публикации: Book Chapter Авторы: Bruno Blanchet Источник: Formal Models and Techniques for Analyzing Security Protocols, IOS Press, Amsterdam, p.86-111 (2011)
