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