本书是中国第一部关于安全协议的专门教材。全书共分12章，全面介绍了安全协议的基本理论与关键技术。主要内容包括引论；安全协议的密码学基础；认证协议；非否认协议；安全电子商务协议；其他类型的安全协议；BAN类逻辑；Kailar逻辑；Rubin逻辑；串空间模型；CSP方法；实用协议SSL及其安全性分析；安全协议攻击；安全协议设计；安全协议的公开问题；安全协议的发展与展望等。 本书精心选材、内容翔实、重点突出、特点鲜明，理论结合实际，既包括安全协议研究的最新进展，也包括作者在此研究领域的科研成果。 本书可以作为信息安全、计算机、通信等专业的本科高年级学生和研究生的教材，也可供从事相关专业的教学、科研和工程技术人员参考。 电子素材已补齐

安全协议是以密码学为基础的协议，它在网络和分布式系统中提供各种各样的安全服务，有着大量的应用，起着“桥梁”的作用，在信息系统安全中占据重要的位置。安全协议的目标都与安全性有关，例如，认证主体的身份；在主体之间分配会话密钥；实现机密性、完整性、匿名性、非否认性、公平性等。 安全协议的研究已经历经二十多年，取得了丰硕的成果，特别是近几年的发展十分迅猛。遗憾的是，长期以来国内没有一部关于安全协议的完整的专著和教材，不利于中国信息安全事业的发展。因此，对安全协议进行系统的总结，出版一部安全协议的教材是我们内心多年的愿望。这次，清华大学出版社动员全国的力量，组织编写高等院校信息安全专业系列教材，使安全协议的教材有机会面世，填补了这个领域的空白，我们对此十分欣慰。 为了适应学生学习与教师教学的需求，本书进行了精心的选材和编排。本书不强调多而全，而强调少而精。即非基本的内容不选，对精选的内容尽量清楚、明确的阐述。本书既包括安全协议研究的最新进展，也包括作者在此研究领域的科研成果。 本书共分12章： 第1章是引言，第2章是安全协议的密码学基础。从第3章起，分别阐述安全协议中的一些基本理论和关键技术，主要内容包括认证协议；非否认协议；安全电子商务协议；其他类型的安全协议；BAN类逻辑；Kailar逻辑；Rubin逻辑；串空间模型；CSP方法；实用协议SSL及其安全性分析；安全协议攻击；安全协议设计；安全协议的公开问题；安全协议的发展与展望等。我们希望，通过学习这部教材，读者可以把握安全协议的内涵，对安全协议的研究有一个深入和完整的认识。 在本书的写作过程中，作者感谢中...