密码协议 基于可信任新鲜性的安全性分析 英文版PDF电子书下载

图书介绍：本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这种新的分析方法，可以有效检验协议在实际应用中能否满足安全需求。此外，书中给出大量的分析实例，详细图解如何基于概率定义安全性，如何将安全指标定量化，如何针对具体的协议寻找漏洞，如何将协议漏洞的查找过程自动化实现，等等。本书总结了作者的最新研究成果，该成果的有效性和易用性，对通信领域、计算机领域和密码领域从事通信协议安全性研究的人员，特别是工程技术人员具有很好的参考价值。 董玲 网络系统建设和信息安全领域的高级工程师，是上海交通大学密码与信息安全实验室的兼职教授。她的研究兴趣在信息安全和应用密码学，特别是实际应用的密码通信协议和密码系统的安全性分析。 陈克非 上海交通大学计算机科学与工程系教授，长期从事密码与信息安全理论研究。目前的主要研究兴趣在序列密码、可证明安全、密码协议分析、数据安全等。近年来承担多项国家自然科学基金、国家高科技（863）计划项目，发表学术论文150多篇，编辑出版学术著作