|
题名:
|
安全协议分析与设计 / 卫剑钒，陈钟编著 , |
|
ISBN:
|
978-7-115-22002-8 价格： CNY23.00 |
|
语种:
|
chi |
|
载体形态:
|
156页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 人民邮电出版社 出版日期： 2010 |
|
内容提要:
|
本书分为7章，从安全协议的基本概念和协议记法出发，先介绍安全协议分析采用的假设和对攻击者能力的界定，接着对一些经典的安全协议及其攻击展开分析，然后对逻辑类分析方法、模型检测分析方法和定理证明类分析方法分别进行介绍，并讲述了安全协议的设计原则和设计方法，最后对一些实际使用中的具体安全协议进行讲解和分析。 |
|
主题词:
|
计算机网络 安全技术 |
|
中图分类法:
|
TP393.08 版次： 4 |
|
主要责任者:
|
卫剑钒 编著 |
|
主要责任者:
|
陈钟 编著 |
|
附注:
|
普通高等教育“十一五”国家级规划教材 21世纪高等学校计算机规划教材 |