Cremers,卡斯;绍克·莫 安全协议的操作语义和验证。 (英语) Zbl 1267.68002号 信息安全与密码学柏林:施普林格出版社(ISBN 978-3-540-78635-1/hbk;978-3-540-78636-8/电子书)。xiii,172页。(2012). 安全协议被广泛用于确保通过不安全网络(如互联网或无线电波)进行安全通信。作者提出了一种形式化描述安全协议及其环境的方法。该方法包括描述协议的模型、执行模型和入侵者模型。这些模型通过许多定义良好的安全属性进行了扩展,这些属性捕获了概念或正确的协议以及数据的保密性。该方法可以用来证明协议满足这些性质。基于该模型,开发了一个名为Scyther的工具集,可以自动发现对安全协议的攻击或证明其正确性。案例研究表明了该方法的应用以及分析工具的有效性。该方法的强大数学基础、模型中关注点的强大分离以及附带的工具集使本书既适合信息安全研究人员和研究生,也适合设计关键安全协议的高级专业人员。审核人:约格·德塞尔(哈根) 引用于6文件 MSC公司: 68-01年 与计算机科学相关的介绍性说明(教科书、教程论文等) 68个M12 网络协议 68第25页 数据加密(计算机科学方面) 68第05页 数据结构 68页99 数据理论 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:安全协议;安全协议的操作语义;安全协议的验证 软件:卡斯珀 PDF格式BibTeX公司 XML格式引用 \textit{C.Cremers}和\textit{S.Mauw},安全协议的操作语义和验证。柏林:施普林格出版社(2012;Zbl 1267.68002) 全文: 内政部