迪特尔·赫特;劳尔·蒙罗伊 关于使用不正确的消息编码自动更正协议。 （英语） Zbl 1252.68109号 Degano，Pierpaolo（编辑）等人，《安全分析的基础和应用》。2009年3月28日至29日，英国约克，ARSPA-WITS，安全协议分析自动化推理与安全理论问题联合研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03458-9/pbk）。计算机科学课堂讲稿551138-154（2009）。 摘要：安全协议对于实现可信计算至关重要。然而，设计安全协议并不容易，因此安全协议通常存在故障，必须进行修复。继续前面的工作，我们将介绍自动化此修复过程的第一步，特别是对于易受类型规则攻击的协议。为此，我们扩展了串空间的概念，为消息引入了实现层，并扩展了穿透器交换共享相同实现的消息的功能。基于此框架，我们能够跟踪针对消息实现方式和具体安全协议设计之间不兼容的类型缺陷攻击。为了避免这些情况，提供了改变实现或协议的启发式方法。关于整个系列，请参见[Zbl 1173.68006号]. MSC公司： 68第25页 数据加密（计算机科学方面） 94A60型 密码学 软件：OFMC公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Hutter}和\textit{R.Monroy}，莱克特。注释计算。科学。5511、138--154（2009年；Zbl 1252.68109） 全文： 内政部