Petri网在密码协议建模和分析中的应用
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 1 引言 | 第11-14页 |
| ·课题的提出 | 第11页 |
| ·研究现状 | 第11-13页 |
| ·论文的研究思路和内容安排 | 第13-14页 |
| 2 Petri网概述 | 第14-23页 |
| ·Petri网的相关概念 | 第14-15页 |
| ·Petri网的动态性质 | 第15-16页 |
| ·Petri网的分析方法 | 第16-19页 |
| ·Petri网的系统模拟 | 第19-22页 |
| 本章小结 | 第22-23页 |
| 3 密码协议的概念和分析 | 第23-31页 |
| ·密码协议的基本概念 | 第23-24页 |
| ·密码协议的安全性 | 第24-26页 |
| ·基本协议简介 | 第26-30页 |
| 本章小结 | 第30-31页 |
| 4 密码协议的时延Petri网建模 | 第31-44页 |
| ·协议的时延Petri网表述方法 | 第31-34页 |
| ·基于TdPN的密钥交换和鉴别模型 | 第34-39页 |
| ·Need-Schroeder协议的TdPN模型 | 第39-43页 |
| 本章小结 | 第43-44页 |
| 5 简单的Pr/T系统模型的协议检测 | 第44-54页 |
| ·协议攻击行为的Petri网模型 | 第44-47页 |
| ·对协议的安全检测 | 第47-53页 |
| 本章小结 | 第53-54页 |
| 6 结束语 | 第54-56页 |
| ·本文的主要工作 | 第54页 |
| ·本文的缺点和不足 | 第54-55页 |
| ·下一步的工作 | 第55-56页 |
| 致谢 | 第56-57页 |
| 参考文献 | 第57-61页 |
| 在读期间的研究成果 | 第61页 |
