1.
Fairness analysis of optimistic e-commerce protocol
一种乐观电子商务协议的公平性分析
2.
Analysis for e-commerce protocols based on ProVerif
基于ProVerif的电子商务协议分析
3.
New logic analysis method for the verification of electronic commerce protocol
验证电子商务协议的新逻辑分析方法
4.
A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION
一个安全、原子的电子商务协议及其形式化验证
5.
Application on the Formal Logic Method in Analyzing Authentication Protocols and Electronic Business Protocols;
形式化逻辑方法在分析认证协议以及电子商务协议中的应用
6.
The Application Study on Formalism of Electronic Commerce Protocols Based on SVO Logic;
基于SVO逻辑的电子商务协议形式化分析与研究
7.
On the Model Checking and Design of Mobile Electronic Commerce Protocols;
移动电子商务协议的模型检验分析与设计研究
8.
Research on Safety Payment in Mobile E-commerce;
移动电子商务中的安全支付协议研究
9.
Research on Security Protocol of E-Commerce Based on XML;
基于XML的电子商务安全协议研究
10.
Improved Solution of E-Commerce Based on Contract of SET;
基于SET协议的电子商务改进方案
11.
A Secure Technology of E-Commerce Based On SET;
基于SET的电子商务的安全协议的分析
12.
Realization and Analysis of SET Protocol in the Electronic Commerce;
电子商务中SET协议的实现与分析
13.
The Constraction of Frame on E-commerce in WTO;
WTO中的电子商务框架协议之构建
14.
Research on Efficiency and Security of E-Commerce Based on SET Protocol
电子商务SET协议效率与安全性的研究
15.
The Research and Implementation of E-commerce Network Security Agreement
电子商务网络安全协议的研究与实现
16.
An Analysis and Comparison of E-Commerce Secure Transaction Protocol
电子商务安全交易协议的分析与比较
17.
Internet Payment System in Electronic Commerce Based on SSL and SET Protocols
基于SSL与SET协议的电子商务支付系统
18.
SSP: Session Sychronization Protocol and Its Application in E-Commerce;
SSP：事务同步协议及其在电子商务中的应用