马丁·阿巴迪 安全协议及其属性。 (英语) Zbl 0995.68050号 Bauer,Friedrich L.(编辑)等人,《安全计算的基础》。1999年7月27日至8月8日,德国马克托伯多夫第20所国际暑期学校。阿姆斯特丹:IOS出版社。北约ASI系列。,序列号。F、 计算。系统。科学。175, 39-60 (2000). 概要:安全协议的规范范围从消息流的非正式叙述到协议属性的正式断言。本文讨论了这些规范,强调了真实性和保密性。它还提出了一些差距和进一步工作的机会。其中一些涉及该领域的传统核心;当我们检查协议运行的上下文时,会出现其他的情况。关于整个系列,请参见[Zbl 0963.00029号]. 引用于7文件 MSC公司: 68第25页 数据加密(计算机科学方面) 68个M12 网络协议 关键词:安全协议 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi},北约ASI Ser。,序列号。F、 计算。系统。科学。175、39-60(2000年;Zbl 0995.68050)