E - Commerce - based Petri Net Model of Unilateralism Authentication Protocol
Xie Xiao · Journal of Guizhou University of Technology · 2005
Currently the protocol PKl 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.