凯瑟琳·梅多斯。 密码协议的形式验证：一项调查。 （英语） Zbl 0872.94035号 Pieprzyk，Josef（编辑）等人，《密码学进展-亚洲密码》，1994年。1994年11月28日至12月1日在澳大利亚伍伦贡举行的第四届密码学理论和应用国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。917135-150（1995）中描述的。 摘要：我们概述了形式化方法在密码协议分析中的应用现状。我们试图概述该领域的一些主要研究线索，并记录一些新兴趋势…有关整个系列，请参见[Zbl 0852.00049号]. 引用于6文件 MSC公司： 94A60型 密码学 68第25页 数据加密（计算机科学方面） 关键词：调查；密码协议 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Meadows}，莱克特。票据计算。科学。917135-150（1995年；Zbl 0872.94035）