1.
Study and Implementation on Atomicity of e-commerce Protocol Base on Symbolic Model Checking;
基于符号模型检验的电子商务协议原子性的研究与实现
2.
Research of AFAP Protocol Realizing Atomicity and Fair Anonymity
满足原子性和公平匿名性的AFAP协议研究
3.
Two-phase commit protocol was used in the interaction between coordinator and participant p arts to ensure the outcome's atomicity and consistency.
在协调器和参与者的交互过程中使用两阶段提交协议保证事务的原子性和一致性.
4.
Principle, communication protocol of quantum key distribution and its applications;
量子密钥分配原理、通信协议及应用
5.
A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION
一个安全、原子的电子商务协议及其形式化验证
6.
IEEE 802.16 Protocol Privacy Sublayer Implement and Security Analysis;
802.16协议安全子层实现及其安全性分析
7.
Study on Fairness and Non-Repudiation of Electronic Payment Protocol;
电子支付协议及其公平非否认性研究
8.
Research on Efficiency and Security of E-Commerce Based on SET Protocol
电子商务SET协议效率与安全性的研究
9.
Fairness analysis of optimistic e-commerce protocol
一种乐观电子商务协议的公平性分析
10.
Design and Implementation of E-mail Protocols Assembly and Analysis System
电子邮件协议还原及分析系统的设计与实现
11.
Chapter 2 tells the principle and protocols of email system.
第2章介绍电子邮件系统工作原理及所用协议。
12.
ON ATOMIC TRANSACTION PROTOCOL OF WEB SERVICES BASED ON POLYADIC π-CALCULUS
基于多元π演算的Web服务原子事务协议研究
13.
Mobile E-Cash Protocol Based on ECC and Limited Blind Signature;
基于ECC和限制性盲签名的移动电子现金协议
14.
Research and Development of 802.16e CPS Sublayer Protocol Conformance Testing Suite;
802.16e CPS子层协议一致性测试套的研究与开发
15.
Analysis and Research of Electronic Commerce Protocol Property Based on Logic;
基于逻辑的电子商务协议属性的分析与研究
16.
Research on Security of E-Commerce Protocol Based on Strand Space;
基于串空间理论的电子商务协议安全性研究
17.
The Accountability Research on Karliar Logic for the Analysis of Electronic Commerce Protocol;
电子商务协议可追究性的Kailar分析与改进
18.
A Deterministic Quantum Key Distribution Protocol Based on Squeezed State
一种基于压缩态的确定性量子密钥分配协议