|
题名:
|
Cryptographic protocol / Ling Dong, Kefei Chen , |
|
ISBN:
|
978-7-04-031331-4 价格： CNY48.00 |
|
语种:
|
eng |
|
载体形态:
|
xi, 373页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 高等教育出版社 出版日期： 2011 |
|
内容提要:
|
本书主要介绍如何利用系统工程思想和可信任新鲜性的方法, 分析和设计密码通信协议。作者基于可信任的新鲜性标识符概念, 提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法, 可以有效检验协议在实际应用中能否满足安全需要。此外, 书中给出大量的分析实例, 详细说明如何基于概率定义安全性, 如何将安全指标定量化, 如何针对具体的协议寻找漏洞, 如何自动实现协议漏洞的查找, 等等。 |
|
主题词:
|
密码 通信协议 |
|
中图分类法:
|
TN915.04 版次： 5 |
|
主要责任者:
|
董玲 著 |
|
主要责任者:
|
陈克非 著 |
|
附注:
|
英文版 |
|
责任者附注:
|
责任者Ling Dong规范汉译姓名: 董玲; 责任者Kefei Chen规范汉译姓名: 陈克非 |