包邮安全协议的建模与分析：CSP方式

译者序
原书序
第0章绪论
0.1安全协议
0.2安全特性
0.3密码学
0.4分钥证书与基础设施
0.5加密模式
0.6密码学中的哈希函数
0.7数字签名
0.8安全协议的脆弱性
0.9CSP方法
0.10Casper:FDR的用户好界面
0.11形式化分析的局限
0.12小结
第1章CSP介绍
1.1基本模块
1.2并行运算符
1.3隐藏与重命名
1.4更多的运算符
1.5过程行为
1.6离散时间
第2章使用CSP对安全协议建模
2.1可信赖的过程
2.2协议模型的数据类型
2.3入侵者建模
2.4并归网络
第3章表达协议目的
3.1Yahalom协议
3.2保密性
3.3认证
3.4不可否认
3.5匿名
3.6小结
第4章FDR概述
4.1比例过程
4.2标淮转换系统
4.3开发成分结构
4.4反例
第5章Casper
5.1一个输入什么文件的例子
5.2符号
5.3实例研究:大嘴青蛙协议
5.4协议技术说明
5.5哈希函数与Vernam加密
5.6小结
……
第6章为FDR编码协议和入侵者
第7章定理证明
第8章简化转换
第9章其他方法
第10章发展趋势及更多的问题
附录A密码学背景知识
附录BYahalom协议的Casper表示
附录CCyberCash阶函数分析
参考文献
符号列表
专业词汇英语中对照表