| 基于电子商务单向认证协议的Petri网模型 |
| |
| 引用本文： | 谢晓尧. 基于电子商务单向认证协议的Petri网模型[J]. 贵州工业大学学报(自然科学版), 2005, 34(6): 51-54 |
| |
| 作者姓名： | 谢晓尧 |
| |
| 作者单位： | 武汉理工大学,信息学院,湖北,武汉,470001;贵州师范大学,计算科学与计算机网络重点实验室,贵州,贵阳,550001 |
| |
| 摘 要： | 基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析，找到协议的安全漏洞，完善认证协议。
|
| 关 键 词： | 单向认证协议 Petri网 模型 状态空间 |
| 文章编号： | 1009-0193（2005）06-0051-04 |
| 收稿时间： | 2005-09-26 |
| 修稿时间： | 2005-09-26 |
E-Commerce-based Petri Net Model of Unilateralism Authentication Protocol |
| |
| XIE Xiao-yao. E-Commerce-based Petri Net Model of Unilateralism Authentication Protocol[J]. Journal of Guizhou University of Technology(Natural Science Edition), 2005, 34(6): 51-54 |
| |
| Authors: | XIE Xiao-yao |
| |
| Abstract: | Currently the protocol PKI is being used in ecommerce as security authentication. The Petri net model of unilateralism authentication protocol was constructed in this paper by using model technology. After then, the model could be analyzed to find some error of the protocol and perfect it. |
| |
| Keywords: | unilateralism authentication protocol Petri net model state space |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
