基于电子商务单向认证协议的Petri网模型

E - Commerce - based Petri Net Model of Unilateralism Authentication Protocol

基于公钥基础设施PKI的安全认证协议是目前电子商务常用的认证协议。根据这个安全认证协议用Petri网协议模型技术构造了单向认证协议的Petri网模型的状态空间。这样就可以进行仿真分析,找到协议的安全漏洞,完善认证协议。

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.