封面
声明
中文摘要
英文摘要
目录
Contents
1 引言
1.1 课题的提出
1.2 研究现状
1.3 论文的研究思路和内容安排
2 Petri网的概述
2.1 Petri网的相关概念
2.2 Petri网的动态性质
2.3 Petri网的分析方法
2.4 系统的Petri网模型
本章小结
3 密码协议的概念和分析
3.1 密码协议的基本概念
3.2 密码协议的安全性
3.3 基本协议简介
本章小结
4 密码协议的时延Petri网模型
4.1 协议的时延Petri 网表述和分析方法
4.2 基于TdPN的密钥交换和鉴别模型
4.3 Needham-Schroeder协议的TdPN模型
本章小结
5 简单的Pr/T系统模型的协议检测
5.1 密码协议攻击行为的Petri网模型
5.2 对密码协议的安全性检测
本章小结
6 结束语
6.1 本文的主要工作
6.2 本文的缺点和不足
6.3 下一步的工作
致谢
参考文献
在读期间的研究成果