手机购买
新书比价
网站名称
书名
售价
优惠
操作
内容提要
本书系统地介绍了**协议(主要是认证协议和密钥建立协议)的基本概念、攻击方法、分析方法和设计方法。全书分为7章,从**协议的基本概念和协议记法出发,先介绍**协议分析采用的假设和对攻击者能力的界定,接着对一些经典的**协议及其攻击展开分析,然后对逻辑类分析方法、模型检测分析方法和定理证明类分析方法分别进行介绍,并讲述了**协议的设计原则和设计方法,*后对一些实际使用中的具体**协议进行讲解和分析。本书注重知识的系统性和覆盖面的广泛性,部分内容有一定的理论深度。
本书可作为信息**、计算机、通信专业的本科生和研究生教材,也可作为相关专业的研究人员和工程技术人员的参考书。
本书可作为信息**、计算机、通信专业的本科生和研究生教材,也可作为相关专业的研究人员和工程技术人员的参考书。
目录
第1章 引言
第2章 **协议及攻击
第3章 逻辑类分析方法
第4章 模型检测分析方法
第5章 定理证明类分析方法
第6章 **协议的设计
第7章 实用**协议
附录a 协议及攻击索引
参考文献
第2章 **协议及攻击
第3章 逻辑类分析方法
第4章 模型检测分析方法
第5章 定理证明类分析方法
第6章 **协议的设计
第7章 实用**协议
附录a 协议及攻击索引
参考文献
编辑推荐语
透彻易懂的概念诠释
深入浅出的协议分析和讲解
涵盖大量常见**协议的分析和设计
深入浅出的协议分析和讲解
涵盖大量常见**协议的分析和设计
与描述相符
100
热卖图书
-
¥11.30 ¥28.00
-
¥9.00 ¥29.80
-
¥15.20 ¥38.00
-
¥11.30 ¥39.50
-
¥6.90 ¥32.80
新书推荐
北京
天津
河北
山西
内蒙古
辽宁
吉林
黑龙江
上海
江苏
浙江
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
重庆
四川
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
台湾
香港
澳门
海外
名称：南昌有路文化发展有限公司
地址：南昌昌北经济技术开发区玉屏西大街299号清华科技园B205室
咨询电话：4006765433 传真：0791-83849520-810 邮箱：do(a)youlu.net
© 有路网 增值电信业务经营许可证号：赣B2-20150091 赣ICP备06008180号-2 赣工商网备第200911040306561424号
地址：南昌昌北经济技术开发区玉屏西大街299号清华科技园B205室
咨询电话：4006765433 传真：0791-83849520-810 邮箱：do(a)youlu.net
© 有路网 增值电信业务经营许可证号：赣B2-20150091 赣ICP备06008180号-2 赣工商网备第200911040306561424号
