扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
密码协议分析——基于认知逻辑 版权信息
- ISBN：9787302633389
- 条形码：9787302633389 ; 978-7-302-63338-9
- 装帧：精装
- 册数：暂无
- 重量：暂无
- 所属分类：>>
密码协议分析——基于认知逻辑 本书特色
本书介绍了基于认知逻辑的密码协议分析，从密码协议的逻辑分析讲起，介绍密码学基本知识、认知逻辑基础理论到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性，主要是作者在本领域所做的工作。从内容的编排上由浅入深，适合各种层次的读者参阅，希望对其他研究者有一定的参考价值，为密码协议分析和网络安全提供一定的理论与技术支撑。
本书可以作为高等院校计算机、网络空间安全、通信以及逻辑学等专业高年级本科生和研究生学习参考，也可供相关专业的教师、科研人员或工程技术人员参考。
密码协议分析——基于认知逻辑 内容简介
本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起，介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开，适合各层次的读者参阅，可为密码协议分析和网络安全提供一定的理论与技术支撑。 本书可供相关专业的教师、科研人员或工程技术人员参考，也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用。
密码协议分析——基于认知逻辑 目录
**部分基 础 知 识
第1章密码协议的逻辑分析概述31.1引言3
1.2逻辑分析方法概览3
1.3本书的结构6
第2章密码与密码协议8
2.1密码学发展史8
2.2对称加密10
2.2.1对称加密概念10
2.2.2DES算法11
2.2.3DES的安全性17
2.3非对称加密18
2.3.1公钥加密概念18
2.3.2RSA公钥密码19
2.3.3ElGamal公钥密码22
2.4加密方案与密码协议24
2.5密码协议的分类26
2.6对密码协议常见的几种攻击26
2.7本章小结28
第3章认知逻辑理论29
3.1命题逻辑30
3.2模态逻辑30
3.3动态认知逻辑33
3.3.1认知逻辑概述33
3.3.2群体知识37
3.3.3公开宣告逻辑38
3.3.4认知行为43
3.3.5行为模型45
3.3.6非单调逻辑48
3.4时态认知逻辑49
3.4.1时态逻辑50
3.4.2时态认知逻辑概述51
3.5本章小结52
第二部分认知逻辑在密码协议分析中的具体应用
第4章基于认知行为的密码协议分析554.1密码协议实例描述55
4.2协议中的消息表示56
4.3协议的逻辑语言56
4.4更新函数58
4.5协议分析59
4.6本章小结62
第5章基于行为模型的密码协议验证63
5.1协议的语言 A,BCryp63
5.1.1协议语言 A,BCryp的语法63
5.1.2协议语言 A,BCryp的语义64
5.2协议形式化65
5.2.1形式化密码协议中的基本问题65
5.2.2形式化行为模型66
5.3协议分析67
5.4协议验证69
5.4.1协议的目标模型69
5.4.2协议的验证70
5.5本章小结71
第6章基于时态认知逻辑的密码协议验证72
6.1NeedhamSchroeder协议72
6.2协议语言73
6.2.1语法73
6.2.2语义73
6.3基于KL（n）的协议形式化74
6.4时态认知逻辑的推导规则76
6.5NeedhamSchroeder协议的属性验证78
6.6本章小结79
第7章基于动态认知逻辑的非单调密码协议分析80
7.1寄存器模型81
7.2非单调性密码协议语言 83
7.3非单调性密码协议的实例86
7.4非单调性密码协议的分析87
7.5本章小结91
参考文献92
第1章密码协议的逻辑分析概述31.1引言3
1.2逻辑分析方法概览3
1.3本书的结构6
第2章密码与密码协议8
2.1密码学发展史8
2.2对称加密10
2.2.1对称加密概念10
2.2.2DES算法11
2.2.3DES的安全性17
2.3非对称加密18
2.3.1公钥加密概念18
2.3.2RSA公钥密码19
2.3.3ElGamal公钥密码22
2.4加密方案与密码协议24
2.5密码协议的分类26
2.6对密码协议常见的几种攻击26
2.7本章小结28
第3章认知逻辑理论29
3.1命题逻辑30
3.2模态逻辑30
3.3动态认知逻辑33
3.3.1认知逻辑概述33
3.3.2群体知识37
3.3.3公开宣告逻辑38
3.3.4认知行为43
3.3.5行为模型45
3.3.6非单调逻辑48
3.4时态认知逻辑49
3.4.1时态逻辑50
3.4.2时态认知逻辑概述51
3.5本章小结52
第二部分认知逻辑在密码协议分析中的具体应用
第4章基于认知行为的密码协议分析554.1密码协议实例描述55
4.2协议中的消息表示56
4.3协议的逻辑语言56
4.4更新函数58
4.5协议分析59
4.6本章小结62
第5章基于行为模型的密码协议验证63
5.1协议的语言 A,BCryp63
5.1.1协议语言 A,BCryp的语法63
5.1.2协议语言 A,BCryp的语义64
5.2协议形式化65
5.2.1形式化密码协议中的基本问题65
5.2.2形式化行为模型66
5.3协议分析67
5.4协议验证69
5.4.1协议的目标模型69
5.4.2协议的验证70
5.5本章小结71
第6章基于时态认知逻辑的密码协议验证72
6.1NeedhamSchroeder协议72
6.2协议语言73
6.2.1语法73
6.2.2语义73
6.3基于KL（n）的协议形式化74
6.4时态认知逻辑的推导规则76
6.5NeedhamSchroeder协议的属性验证78
6.6本章小结79
第7章基于动态认知逻辑的非单调密码协议分析80
7.1寄存器模型81
7.2非单调性密码协议语言 83
7.3非单调性密码协议的实例86
7.4非单调性密码协议的分析87
7.5本章小结91
参考文献92
展开全部
书友推荐
本类畅销
-
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38 -
1980年代:小说六记
¥52.8¥69 -
中图网经典初版本封面-“老人与海”冰箱贴
¥20¥40
