密码协议分析的逻辑方法 9787030370969-so88
密码协议分析的逻辑方法 9787030370969 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
雷新锋,薛锐 著
店铺: 一鸿盛世图书专营店 出版社: 科学出版社 ISBN:9787030370969 商品编码:29765673349 包装:平装 出版时间:2013-03-01
基本信息
书名:密码协议分析的逻辑方法
定价:98.00元
作者:雷新锋,薛锐
出版社:科学出版社
出版日期:2013-03-01
ISBN:9787030370969
字数:
页码:
版次:1
装帧:平装
开本:16开
商品重量:0.4kg
编辑推荐
《密码协议分析的逻辑方法》注重由浅入深,适合各层次读者参阅。全书从基础理论和基本概念入手,涵盖了主要的密码协议分析逻辑以及该领域的一些前沿理论,其中包括作者在密码协议分析的逻辑方面所做的工作。这些内容对于初学者有着重要的启发和引导作用,对于研究者具有的参考价值,对于密码协议的分析和设计人员具有重要的指导意义。本书由雷新锋,薛锐著。
内容提要
《密码协议分析的逻辑方法》对密码协议分析的逻辑方法进行了系统详尽和深入的介绍,全书共四部分,部分是理论基础,第二部分是密 码协议分析概述,第三部分介绍密码协议逻辑,第四部分介绍计算可靠的密码协议逻辑。
本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例 以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统,其中包括作者在密码协议分析方面的工作。
《密码协议分析的逻辑方法》的读者对象为信息安全专业高年级本科生及研究生,也可供从事信息安全专业的教学、科研人员和工程技术人员 参考。本书由雷新锋,薛锐著。
目录
前言
部分 理论基础
章 数理逻辑基础
1.1 基本概念
1.2 命题逻辑
1.2.1 命题逻辑语法
1.2.2 命题逻辑语义
1.2.3 命题逻辑推演系统
1.2.4 命题逻辑的可靠性
1.3 谓词逻辑
1.3.1 谓词逻辑语法
1.3.2 谓词逻辑的语义
1.3.3 谓词逻辑推演系统
1.3.4 谓词逻辑的可靠性
1.4 模态逻辑
1.4.1 命题模态逻辑
1.4.2 谓词模态逻辑
1.4.3 知识逻辑与信念逻辑
1.5 Hoare逻辑
1.6 本章小结
参考文献
第2章 现代密码学基础
2.1 概述
2.1.1 加密方案
2.1.2 对加密方案的攻击
2.1.3 信息论安全
2.1.4 现代密码学
2.2 计算复杂性
2.2.1 图灵机
2.2.2 时间复杂性
2.2.3 P与NP
2.2.4 多项式时间归约
2.2.5 概率图灵机与BPP
2.3 计算安全
2.3.1 计算安全的概念
2.3.2 安全假设
2.3.3 几个安全相关概念
2.4 私钥加密
2.4.1 私钥加密方案
2.4.2 私钥加密方案的CPA安全
2.4.3 私钥加密方案的CCA安全
2.5 公钥加密
2.5.1 公钥加密方案
2.5.2 公钥加密方案的CPA安全
2.5.3 公钥加密方案的CCA安全
2.6 数字
2.6.1 数字方案
2.6.2 数字方案的安全性
2.7 安全性证明
2.7.1 概率多项式时间归约
2.7.2 混合论证
2.7.3 标准模型与应答器模型
2.8 本章小结
参考文献
第二部分 密码协议分析概述
第3章 密码协议
3.1 密码协议的概念与意义
3.2 密码协议的属性与分类
3.3 对密码协议的攻击
3.4 密码协议的表示法
……
第4章 密码协议分析
第三部分 密码协议逻辑
第5章 BAN逻辑
第6章 BAN逻辑的扩展
第7章 类BAN逻辑的语义
第8章 BAN逻辑的进一步扩展
第9章 非单调逻辑
0章 引入时间的协议逻辑
1章 时间相关密码协议逻辑及其形式化语义
2章 协议复合逻辑
第四部分 计算可靠的密码协议逻辑
3章 AR逻辑
4章 对AR逻辑的扩展
5章 计算可靠的PCL
6章 IK逻辑
7章 计算不可区分逻辑
结束语
索引
作者介绍
文摘
序言
密码协议分析的逻辑方法 9787030370969 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 正版 穿越宇宙的秘密小径 9787535775030 (美) 切特·瑞默著 湖南科技出版社
- 新日语能力考试万词对策N1级3000
- BF-碧空天链-探究测控通信与搜索救援-钱卫平 中国宇航出版社 9787802184442
- 现货速发 肖秀荣2019考研政治 肖秀荣精讲精练 考研政治命题人知识点精讲精练 可搭肖秀荣1000题
- 中的外来植物(舌尖上的丁香:香料) 畅销书籍 正版 航天舌尖上的定向 姚欢远
- 2018-19年历史学基础综合考研全套教材书 11本世界史 中国古代史 近代史现代史历史学
- 我们怎样接受不同-孩子们应该知道的秘密
- 中国地图挂图2018新版(仿古色)仿古地图 装饰画 防水覆膜材质 粘贴加框皆宜
- 深海怪兽跑出来了:超好玩的AR互动4D海洋动物小百科9787508666006【新华书店
- 现货】2018年税务师资格考试税法一历年真题与押题题库 税法1
- (青少年“海洋梦”系列丛书)蓝色“妖姬”——海洋植物 “海洋梦”系列丛书编委会
- 下课后的台湾小旅行
- 1986-2011-本钢志-第二卷
- 2015中国高速公路及城乡公路网地图集(大字版 附赠专业地图放大镜)
- 恐龙不好玩