安全协议-安全协议.doc

安全协议-安全协议

安全协议安全协议
信息系统与信息系统安全1
信息系统的攻击与防御3
被动窃听与主动攻击3
信息对抗的历史回顾5
攻击目标与攻击分类8
入侵检测技术10
数学基础14
数论基础14
代数基础20
计算复杂性理论基础23
本书的取材、组织与安排29
第2章安全协议的密码学基础33
密码学的基本概念34
古典密码学36
换位密码36
代替密码37
转轮密码机38
分组密码39
分组乘积密码40
数据加密标准40
密码体制46
先进加密标准和Rijndael密码算法51
分组密码的工作模式53
公开密钥密码56
公开密钥密码的基本概念57
背包体制58
体制60
体制63
数字签名66
数字签名的基本概念66
数字签名67
数字签名标准69
散列函数71
散列函数的基本概念71
安全散列标准73
总结75 第3章认证协议78
经典认证协议79
协议79
协议80
Rees协议81
协议82
安全RPC协议83
“大嘴青蛙”协议83
关于认证协议攻击的讨论84
Yao模型84
攻击者的知识和能力85
重放攻击85
针对经典认证协议的攻击86
针对NSSK协议的攻击86
针对NSPK协议的攻击87
针对OtwayRees协议的“类型缺陷”型攻击88
针对Yahalom协议的攻击88
针对Andrew安全RPC协议的攻击90
针对“大嘴青蛙”协议的攻击90
其他重要的认证协议91
协议91
协议96
Lam单向认证协议98
认证协议攻击的其他实例100
攻击A(0)协议的3种新方法101
攻击NSSK协议的一种新方法103
攻击OtwayRees协议的两种新方法104
有关认证协议的进一步讨论106
认证协议设计与分析的困难性106
认证协议的分类107
认证协议的设计原则108
总结109 第4章BAN类逻辑112
逻辑112
逻辑构件的语法和语义113
逻辑的推理规则114
逻辑的推理步骤116
应用BAN逻辑分析NSSK协议116
应用BAN逻辑分析原始NSSK协议116
应用BAN逻辑分析改进的NSSK协议120
应用BAN逻辑分析OtwayRees协议122
应用BAN逻辑分析Yahalom协议124
类逻辑127
对BAN逻辑的批评128
类逻辑129
逻辑133
逻辑的特点133
逻辑的语法133
逻辑的语义136
应用SVO逻辑分析A(0)协议139
应用SVO逻辑分析改进的A(0)协议141
关于认证协议和BAN类逻辑的讨论143
总结148 第5章非否认协议