×

安全协议及其属性。 (英语) Zbl 0995.68050号

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

MSC公司:

68第25页 数据加密(计算机科学方面)
68个M12 网络协议

关键词:

安全协议
PDF格式BibTeX公司 XML格式引用