|
题名:
|
密码协议 / 董玲, 陈克非著 , |
|
ISBN:
|
978-7-04-036250-3 价格： CNY55.00 |
|
语种:
|
chi |
|
载体形态:
|
xi, 344页 图 25cm |
|
出版发行:
|
出版地： 北京 出版社： 高等教育出版社 出版日期： 2012 |
|
内容提要:
|
本书主要介绍如何利用系统工程思想和可信任新鲜性的方法, 分析和设计密码协议。作者基于可信任的新鲜性标识符概念, 提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法, 可以有效检验协议在实际应用中能否满足安全需求。此外, 书中给出大量的分析实例, 详细图解了如何基于概率定义安全性, 如何将安全指标定量化, 如何针对具体的协议寻找漏洞, 如何自动实现协议漏洞的查找, 等等。 |
|
主题词:
|
密码协议 |
|
中图分类法:
|
TN918.1 版次： 5 |
|
其它题名:
|
基于可信任新鲜性的安全性分析 |
|
主要责任者:
|
董玲 著 |
|
主要责任者:
|
陈克非 著 |