Share/Save

Analyzing Security Protocols with Secrecy Types and Logic Programs

Вид публикации:

Journal Article

Источник:

Journal of the ACM, Volume 52, № 1, p.102-146 (2005)