您要查找的是不是：
- The methods certificating the natures of Electronic Commerce Protocols have always been constraining the development of Electronic Commerce. 电子商务协议的安全性、原子性、不可否认性等性质的验证的方法一直制约着电子商务的发展。
- The i KP is a secure credit card based payment protocols which is designed and opened by IBM. A set of fair electronic commerce protocols based on i KP is given in the paper. i KP协议是 IBM公司提出的一组公开的基于信用卡的安全电子支付协议 ;该文则在 i KP协议基础上提出了一组有效的公平电子商务协议 .
- Electronic commerce protocols are orienting application layer and their main functions in unsafe and unavailable network, ensures communication message to be integrity, anonymity, atomicity and non-repudiation. 电子商务协议是面向应用层的网络安全协议,其主要作用就是防止在既不安全又不可靠的网络中,保证通信消息的完整性、匿名性、原子性和不可否认性。
- Fairness in Electronic Commerce Protocols 电子商务协议的公平性
- An Efficient and Fair Electronic Commerce Protocols 一种有效的公平电子商务协议
- A fair electronic commerce protocol based on iKP 一种基于iKP的公平电子商务协议
- A Formal Method for Analyzing Electronic Commerce Protocols 一种电子商务协议形式化分析方法
- A New Electronic Commerce Protocol and its Formal Analysis 一种新型的电子商务协议及形式化分析
- The Formal Verification of the Security of the Electronic Commerce Protocols 电子支付协议安全性的形式化分析
- The line AB cuts the line DC at the point E. AB线和DC线在E点相交。
- The letter "e" in "mouse" is mute. “mouse”中的字母“e”不发音。
- A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION 一个安全、原子的电子商务协议及其形式化验证
- The lines AB and CD intersect at E. 直线AB与直线CD相交於E点。
- He majored in international commerce in college. 他大学时的专业是国际贸易。
- The actions taken to implement protocols. 为实现协议而采取的动作。
- The line AB intersects the line CD at E. 直线AB与直线CD相交於E点。
- Our overseas commerce has increased a great deal. 我们的海外贸易已大大增加。
- I have little commerce with my neighbors. 我和邻居很少来往。
- Model Checking Analysis for Atomicity of Electronic Commerce Protocol 一种电子商务协议原子性的模型检验分析方法
- The E?payment becomes the key part in the E?commerce. 电子支付成为电子商务中关键性的组成部分。
