密码协议 基于可信任新鲜性的安全性分析

本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这种新的分析方法，可以有效检验协议在实际应用中能否满足安全需求。此外，书中给出大量的分析实例，详细图解如何基于概率定义安全性，如何将安全指标定量化，如何针对具体的协议寻找漏洞，如何将协议漏洞的查找过程自动化实现，等等。本书总结了作者的最新研究成果，该成果的有效性和易用性，对通信领域、计算机领域和密码领域从事通信协议安全性研究的人员，特别是工程技术人员具有很好的参考价值。