戴维·巴恩斯；Cremers，卡斯 安全程度：面对妥协的对手，协议保证。 （英语） Zbl 1287.94049号 Dawar，Anuj（编辑）等人，《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会，EACSL第19届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿6247,1-18（2010）。 摘要：我们提出了一个基于模块化操作语义的符号框架，用于形式化与密码协议分析相关的不同妥协概念。该框架的规则可以以不同的方式组合，以指定不同的对手能力，捕获关键和状态妥协的不同实际相关概念。我们使用对手模型扩展了现有的安全协议分析工具Scyther。这是第一个系统地支持诸如弱完全前向保密、密钥泄露模拟和能够进行状态公开查询的对手等概念的工具。我们还引入了协议安全层次的概念，它将协议的相对强度与不同形式的妥协进行分类。在案例研究中，我们使用Scyther自动构建协议安全层次结构，以细化和纠正加密文献中先前报告的协议之间的关系。关于整个系列，请参见[Zbl 1194.68023号]. 引用于2文件 MSC公司： 94A60型 密码学 68问题55 计算理论中的语义学 软件：HMQV公司；NAXOS公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}和\textit{C.Cremers}，Lect。注释计算。科学。6247，1-18（2010年；Zbl 1287.94049） 全文： 内政部