声明
1 绪论
1.1 研究背景以及意义
1.2 研究现状
1.2.1 协议生成研究现状
1.2.2 协议验证研究现状
1.3 主要研究目标与内容
1.4 论文的组织结构
2 关键技术分析
2.1 安全协议基本介绍
2.2 免疫遗传算法
2.2.1 人工免疫算法基本概念
2.2.2 免疫遗传算法基本原理与流程
2.3 线空间
2.3.1 线空间逻辑语言
2.3.2 协议分析逻辑语法
2.4 本章小结
3 协议原语生成方案
3.1 基于IGA的自动生成机制
3.1.1 免疫算子
3.1.2 染色体编码
3.2 基于IGA和PCL的协议原语
3.2.1 一致性测试
3.2.2 一致性测试原语
3.2.3 基于认证服务器的原语
3.3 本章小结
4 组合协议逻辑
4.1 组合逻辑语义
4.1.1 归纳关系
4.1.2 理想集
4.1.3 协议属性
4.2 组合逻辑规则
4.2.1 组合可行性规则
4.2.2 扩展原语
4.2.3 原语并发规则
4.2.4 原语组合规则
4.3 复杂协议机制
4.3.1 匿名性
4.3.2 问责制
4.3.3 相互方程
4.4 本章小结
5 基于组合逻辑的协议设计示例
5.1 双向认证和重认证设计
5.1.1 双向认证协议
5.1.2 基于认证服务器的重认证协议
5.2 安全支付协议
5.3 性能分析
5.4 本章小结
6 总结与展望
6.1 全文总结
6.2 进一步工作
致谢
参考文献
