| 基于Petri网的认证协议分析 |
| |
| 引用本文： | 董卫,吴哲辉.基于Petri网的认证协议分析[J].系统仿真学报,2005,17(Z1):96-99. |
| |
| 作者姓名： | 董卫 吴哲辉 |
| |
| 作者单位： | 1. 山东科技大学信息学院,山东青岛,266510;山东农业大学信息学院,山东泰安,271018
2. 山东科技大学信息学院,山东青岛,266510 |
| |
| 基金项目： | 国家自然科学基金资助课题(60173053) |
| |
| 摘 要： | 认证协议的成功设计是网络安全领域的关键问题之一,对其进行形式化分析是当前研究的热点.在已知协议的运行模式的基础上,给出了基于Petri网的认证协议分析的具体方法,并通过一个实例说明了该方法的有效性.
|
| 关 键 词： | 认证协议 协议分析 Petri网 运行模式 重放攻击 |
| 文章编号： | 1004-731X(2005)S-96-04 |
| 修稿时间： | 2005年7月16日 |
Analysis of Authentication Protocol based on Petri nets |
| |
| DONG Wei,WU Zhe-hui.Analysis of Authentication Protocol based on Petri nets[J].Journal of System Simulation,2005,17(Z1):96-99. |
| |
| Authors: | DONG Wei WU Zhe-hui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
