密码协议的代数模型和安全分析算法研究
| 第一章 绪论 | 第1-23页 |
| ·计算机网络信息安全问题与安全协议 | 第11-12页 |
| ·密码协议的安全性与形式化方法 | 第12-14页 |
| ·相关研究工作综述 | 第14-21页 |
| ·Dolev-Yao模型 | 第14-15页 |
| ·基于逻辑模型分析系统 | 第15-16页 |
| ·基于模型检测和定理证明的协议分析 | 第16-19页 |
| ·理论模型分析 | 第19-21页 |
| ·论文的主要工作 | 第21-22页 |
| ·论文的组织 | 第22-23页 |
| 第二章 密码协议的代数模型 | 第23-64页 |
| ·基本环境假设 | 第23-24页 |
| ·基本密码协议代数 | 第24-40页 |
| ·一些数学准备 | 第25-27页 |
| ·密码协议代数 | 第27-40页 |
| ·密码协议的形式模型 | 第40-50页 |
| ·基本状态假设 | 第40-42页 |
| ·密码协议的形式规范 | 第42-43页 |
| ·密码协议的迹序列空间 | 第43-47页 |
| ·密码协议的安全性模型 | 第47-50页 |
| ·密码协议安全性分析约简 | 第50-55页 |
| ·密码协议的一致性 | 第55-62页 |
| ·密码协议合成的安全性 | 第56-59页 |
| ·一些例子 | 第59-62页 |
| 本章小结 | 第62-64页 |
| 第三章 密码协议安全性自动分析算法 | 第64-89页 |
| ·消息项推导算法 | 第64-72页 |
| ·消息项推导算法 | 第64-69页 |
| ·泛多项式方程 | 第69-72页 |
| ·密码协议的紧致性描述 | 第72-79页 |
| ·迹序列的变量描述 | 第73-77页 |
| ·协议的紧致性描述 | 第77-79页 |
| ·密码协议安全性基本分析算法 | 第79-84页 |
| ·算法复杂性讨论与优化 | 第84-87页 |
| ·算法的讨论 | 第84-86页 |
| ·算法的优化 | 第86-87页 |
| 本章小结 | 第87-89页 |
| 参考文献 | 第89-92页 |
| 致谢 | 第92页 |
