安全协议操作语义与验证（网络空间安全）/经典译丛

作者简介

Cas Cremers 牛津大学信息安全领域正教授。2006 年获得荷兰艾恩德霍芬科技大学博士学位；2006 年至 2013 年，在瑞士苏黎世联邦理工学院任博士后和高级研究员；2013年开始在牛津大学任教，于2015 年成为正教授。近期他加入了位于德国的CISPA-Helmholtz中心。他擅长各种形式化理论和系统安全验证与加固，独立或与其他研究者一起开发了一系列协议验证系统，在国际上享有盛誉。 Sjouke Mauw 博士，工作于卢森堡大学计算机科学与通信研究所。曾与人合作创建了荷兰艾恩德霍芬科技大学的计算机安全研究小组，他关注安全协议的形式化建模与安全属性分析。

内容简介

安全工程师用高强度的密码算法设计出一个协议后，并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析，这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变，都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现，不仅为协议构建了牢固的数学形式化基础，进而精确地定义了协议的运行规范和安全属性，还设计了高效的验证算法。