等价一致化因子自动产生器的算滕及实现
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 第一章 绪论 | 第10-12页 |
| ·引言 | 第10页 |
| ·课题研究背景 | 第10-11页 |
| ·研究内容 | 第11页 |
| ·本章小结 | 第11-12页 |
| 第二章 语法一致化 | 第12-27页 |
| ·基本概念 | 第12-13页 |
| ·求解一致化因子的递归算法 | 第13-14页 |
| ·推导规则 | 第14-16页 |
| ·有向无环图与项的映射 | 第16-19页 |
| ·进一步的改进 | 第19-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 等价一致化 | 第27-39页 |
| ·等价一致化简价 | 第27页 |
| ·等价一致化的类型与性质 | 第27-32页 |
| ·等价一致化因子的求解方案 | 第32-37页 |
| ·实际采用的语法一致化解决方案 | 第37-39页 |
| ·本章总结 | 第39页 |
| 第四章 模型检测与协议验证简介 | 第39-45页 |
| ·安全协议验证简介 | 第39-41页 |
| ·模型检测简介 | 第41-42页 |
| ·标记变迁系统 | 第42-45页 |
| 第五章 实验结果及工具介绍 | 第45-48页 |
| 第六章 全文总结 | 第48-50页 |
| ·主要结论 | 第48页 |
| ·相关研究比较 | 第48-49页 |
| ·研究展望 | 第49-50页 |
| 参考文献 | 第50-52页 |
| 符号与标记(附录1) | 第52-53页 |
| 致谢 | 第53-54页 |
| 攻读硕士学位期间已发表或录用的论文 | 第54页 |
