出版日期：2011年08月
ISBN：9787563526727
[十位：7563526722]
页数：303
定价：￥36.00
店铺售价：￥5.40
（为您节省：￥30.60）
店铺库存：23
本
正在处理购买信息，请稍候……
我要买：
本
* 如何购买
联系店主：
15732667220
店主推荐图书：
-
￥27.20
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2021-05-01 18:22:51]
么**
唐山市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2021-04-14 09:24:06]
白*
张掖市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2021-04-13 19:39:23]
刘**
宁波市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2021-04-11 13:35:17]
王**
晋中市
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2021-04-09 20:03:27]
李**
天津市
《安全协议原理与验证》内容提要：
本书介绍**协议及其验证方法,主要内容包括三个部分:1.基础知识,包括**协议基本原理介绍、**性分析以及密码学基础;2.**协议原理,包括**协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的**协议;3.**协议的分析与验证方法,包括ban逻辑、ban类逻辑、kailar逻辑、cs逻辑、串空间理论及csp方法等。 本书较为全面、深入地介绍了信息**体系中的**协议原理及**协议的分析验证方法。内容安排由浅入深,**突出,涵盖了当前**协议研究领域的主要成果。 本书可作为高等院校信息**、计算机、通信等专业高年级本科生和研究生教材,也可供从事相关专业的教学、科研和工程技术人员参考。
《安全协议原理与验证》图书目录：
**部分 基础知识
第1章 引言
第2章 密码学基础
第二部分 **协议原理
第3章 **协议概述
第4章 认证与密钥交换协议
第5章 电子商务协议
第6章 实际使用中的的**协议
第三部分 **协议的分析、验证方法
第7章 ban逻辑
第8章 ban类逻辑
第9章 kailar逻辑
第10章 时间相关**协议分析
第11章 串空间模型理论及协议分析方法
第12章 **协议的csp分析方法
《安全协议原理与验证》编辑推荐与评论：
本书内容包括三个部分:1.基础知识,包括**协议基本原理介绍、**性分析以及密码学基础;2.**协议原理,包括**协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的**协议;3.**协议的分析与验证方法,包括ban逻辑、ban类逻辑、kailar逻辑、cs逻辑、串空间理论及csp方法等。