公平性是电子商务协议的基本安全要求。
公平性和可行性成为这类电子商务协议的基本要求。
Fairness and viability become basic request of electronic commercial protocols.
因而，近年来，电子商务协议的原子性成了研究的热点。
Thus atomicity of e-commerce protocol became the hotspot which be studied in recent years.
提出了一种基于多银行的、匿名的、公平的电子商务协议。
This paper presents an anonymous fair exchange E-commerce protocol based on multi-bank.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
电子商务协议的设计和安全性成为电子商务最核心的理论和最关键的技术。
The design and the security of electronic commerce protocols are keys of their theories and techniques.
本论文主要对多方电子商务协议：电子拍卖协议的关键技术进行深入的研究。
In this thesis, we studied mainly the keys-techniques of the electronic auction protocols.
电子商务协议作为安全协议的一部分，这些方法在电子商务协议中同样有效。
These methods are also effective used in Electronic Commerce Protocols which is a part of Security Protocols.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。
Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性。
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
可追究性是安全电子商务协议必须遵循的重要原则之一，乐观公平交换协议是一类重要的电子商务协议。
Accountability is one of main properties that security electronic commerce protocols must satisfy. Optimistic fair exchange protocols are important electronic commerce protocols.
结果表明基于博弈的AT L逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
These works indicate that the alternating-time temporal logic (ATL) logic based on game is more suit-able to describe and analyze complex e-commerce protocols than traditional CTL.
您还可以使用抽象的流程作为两个合作伙伴之间在电子商务对话中如何进行交互的协议。
You also use an abstract process as an agreement between two partners on how they interact in an e-business dialogue.
为了进行电子商务对话，合作伙伴要在注册中心找到彼此的能力简档，然后就他们将进行什么样的对话达成协议。
To conduct an e-business dialogue, the partners would find each other's capability profile on the registry and form an agreement about what dialogues they will conduct.
Amadeus ITGroup产品开发、销售和电子商务平台副总裁DenisLacroix表示，另外两个合作协议也会在年底公布。
The other two agreements will be revealed by the end of the year, says Amadeus IT Group vice president for product development, sales and e-commerce platforms, Denis Lacroix.
解决其安全的方法有：采用加密技术，制定相关协议标准，努力减少电子商务交易中的不安全因素。
The solutions include applying encipher technology, setting the standard of related protocol and trying to reduce the unsafe factors in electronic commerce transaction.
谈判协议的形式化是实现电子商务谈判自动化的关键。
The formalization of negotiation protocols is crucial to realize the automation of electronic commerce.
SSL协议在网上银行、电子商务中得到广泛地应用，主要解决了数据的安全性、保密性。
The SSL protocol is widely used in internet bank and electronic business to insure the security of data.
公平的不可否认协议解决了电子商务中信息传输的互相否认问题，并使通信各方处于平等的位置。
Fair non-repudiation protocols resolve the problem of non-repudiation during the course of transferring information in electronic commerce and make all sides in equal positions.
本文还论述了基于SSL协议的可信电子商务系统的开发过程，并对安全网关服务器的实现进行了详尽的阐述。
This thesis discussed in detail of the process of trustful E-commerce system based on SSL protocol, and discussed the realization of safety gateway server.
然后，阐明了无线应用协议WAP的原理和体系结构，以及移动设备的安全技术和移动电子商务的应用领域；
Then we expound the principle and architecture of WAP, security of mobile devices and application fields of mobile electronic commerce.
电子商务安全协议作为切实保证交易双方信息数据安全，维护双方切身利益的关键因素，其重要性不言而喻。
The importance of e-commerce security protocol is self-evident as a key factor to ensure the information and data security, and to safeguard the vital interests of both sides.
电子商务中的安全协议主要采用SSL协议和SET协议。
E-Commerce security protocol usually adopts SSL and SET protocol.
针对电子商务安全协议的非否认性，在现有非否认服务的基础上，介绍了一种新型非否认协议。
Based on the non repudiation and the security protocol of non repudiation for electronic commerce, this paper introduces a new non repudiation 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.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
应用推荐