信息安全系列丛书·密码协议：基于可信任新鲜性的安全性分析
图书信息
书名：信息安全系列丛书·密码协议：基于可信任新鲜性的安全性分析作者：董玲,陈克非
包装：精装
开本：16
页数：344页
全文字数：430000
出版社：高等教育出版社
出版时间：2012-11
图书简介
《信息安全系列丛书·密码协议：基于可信任新鲜性的安全性分析》主要介绍如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码协议。作者基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法，可以有效检验协议在实际应用中能否满足安全需求。此外，书中给出大量的分析实例，详细图解了如何基于概率定义安全性，如何将安全指标定量化，如何针对具体的协议寻找漏洞，如何自动实现协议漏洞的查找，等等。
推荐理由
本书适合信息安全工程师、密码学研究人员和计算机科学专业学生等阅读。对于信息安全行业的从业者，该书提供了关于密码协议的全面且实用的信息。对于学术界的研究人员，该书可提供基于可信任新鲜性的密码协议安全性分析方法的研究参考。读者可通过深入学习该书的内容，了解密码协议的安全性分析方法，并将其应用于实际工作中。
