凯文·康普顿。;斯科特·德克斯特 密码协议的证明技术。 （英语） Zbl 0987.94508号 Wiedermann，Jiří（编辑）等人，《自动化、语言和编程》。第26届国际学术讨论会，ICALP’99。捷克共和国布拉格，1999年7月11日至15日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1644, 25-39 (1999). 摘要：作者对加密协议及其易受攻击的类型进行了概述。然后，他们提出了一个基于线性逻辑编程的框架，用于分析身份验证协议，并展示了各种攻击概念是如何在此框架中表达的。关于整个系列，请参见[Zbl 0917.00014号]. 引用于1文件 MSC公司： 94A60型 密码学 90C05（二氧化碳） 线性规划 94A62型 身份验证、数字签名和秘密共享 关键词：密码协议;攻击;线性逻辑程序设计;身份验证协议 PDF格式BibTeX公司 XML格式引用 \textit{K.J.康普顿}和\textit{S.德克斯特}，莱克特。注释计算。科学。1644年，25-39年（1999年；Zbl 0987.94508）