原文传递
基于着色Petri网的安全协议形式化分析理论与技术研究
| 论文题名： | 基于着色Petri网的安全协议形式化分析理论与技术研究 |
| 关键词： | 着色;Petri网;安全协议;形式化;分析理论 |
| 作者： | 马瑞洁 |
| 专业： | 计算机科学与技术 |
| 导师： | 马卓 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西安电子科技大学 |
| 学位年度： | 2018 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 基于着色Petri网的安全协议形式化分析理论与技术研究 |
| 关键词： | 着色;Petri网;安全协议;形式化;分析理论 |
| 作者： | 马瑞洁 |
| 专业： | 计算机科学与技术 |
| 导师： | 马卓 |
| 授予学位： | 硕士 |
| 授予学位单位： | 西安电子科技大学 |
| 学位年度： | 2018 |
| 正文语种： | 中文 |