Method of building model and analysis of electronic commerce protocol
Yuan Zhi-xiang · Journal of Anhui University of Technology · 2004
Electronic commerce protocol is composed of security protocol and business logics. SET protocol is electronic commerce application solution for secure payment of credit card on Internet. But it is pretty hard to analyze because lots of participants and handshakes are involved. Based on the analysis of SET protocol specification, the method of building model using petri nets and the corresponding protocol relation with petri nets are purposed . The aim is to make SET protocol simple, understandable and analyzed.