电子商务协议的建模方法与分析

电子商务商议是安全协议和商务逻辑的结合体，SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多．相互握手次数较平凡．从而导致协议比较复杂．分析比较困难，．在分析SET协议规范的基础上，利用形式化分析工具－Petri网对SET协议进行建模分析，给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。

Method of building model and analysis of electronic commerce protocol

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.