| 提要 | 第1-6页 |
| 第一章 引言 | 第6-8页 |
| ·动机 | 第6-7页 |
| ·本文工作 | 第7-8页 |
| 第二章 理论基础 | 第8-17页 |
| ·模型检测 | 第8-9页 |
| ·有界模型检测 | 第9-11页 |
| ·规划图 | 第11-13页 |
| ·安全协议模型检测 | 第13-17页 |
| 第三章 SATMC的方法 | 第17-22页 |
| 第四章 一个新的基于SAT方法的安全协议模型检测算法 | 第22-40页 |
| ·算法思想 | 第22-26页 |
| ·算法描述 | 第26-30页 |
| ·算法复杂性 | 第30页 |
| ·JLU-PV的实现 | 第30-33页 |
| ·试验结果 | 第33-40页 |
| 第五章 结论 | 第40-43页 |
| 摘要 | 第43-46页 |
| Abstract | 第46-49页 |
| 致谢 | 第49页 |