A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
By analysing the electronic commerce protocol based on credit, the paper proposes an optimistic fair e-commerce protocol with electronic wallets.
本文在分析了基于信用透支的电子交易协议的基础上，提出了一种基于电子钱包的乐观公平交易协议。
The solutions include applying encipher technology, setting the standard of related protocol and trying to reduce the unsafe factors in electronic commerce transaction.
解决其安全的方法有：采用加密技术，制定相关协议标准，努力减少电子商务交易中的不安全因素。
Based on the non repudiation and the security protocol of non repudiation for electronic commerce, this paper introduces a new non repudiation protocol.
针对电子商务安全协议的非否认性，在现有非否认服务的基础上，介绍了一种新型非否认协议。
In this dissertation, we design the buyer model and seller model of dealing in real estate in electronic commerce with OAP technology according to contract net protocol.
同时在本文中，我们还以电子商务房地产交易系统为例，根据合同网络协议，应用oap网设计了房地产交易中买方和卖方模型。
In this dissertation, we design the buyer model and seller model of dealing in real estate in electronic commerce with OAP technology according to contract net protocol.
同时在本文中，我们还以电子商务房地产交易系统为例，根据合同网络协议，应用oap网设计了房地产交易中买方和卖方模型。
应用推荐