1) Multi-electronic commerce protocol
多方电子商务协议
1.
A new ATL analysis method based on game logic was inducted,and it can model and analyze Multi-electronic commerce protocol.
引入一种新的基于博弈逻辑的ATL分析方法,能够对日益复杂的多方电子商务协议进行建模与分析。
2) E-commerce protocols
电子商务协议
1.
Formal analysis of e-commerce protocols based on game;
基于博弈的电子商务协议分析
2.
A new approach is proposed for analyzingthe non-repudiation and fairnessproperty of E-commerce protocols.
提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改。
3.
This Paper is a survey on the development of formal analysis of security e-commerce protocols.
阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。
3) electronic commerce protocol
电子商务协议
1.
Fairness of electronic commerce protocols based on dynamic game;
基于动态博弈描述的电子商务协议公平性
2.
Kailar logic is used to analyze the accountability of electronic commerce protocols.
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败。
3.
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性。
4) E-commerce protocol
电子商务协议
1.
Fair E-commerce protocol suitable for digital goods transaction;
一种适用于数字商品交易的公平电子商务协议
2.
Analysis for e-commerce protocols based on ProVerif
基于ProVerif的电子商务协议分析
3.
With the wide application of the Internet,the environment of e-commerce protocols becomes more and more unreliable.
随着网络的大规模应用,电子商务协议的运行环境越来越不可靠。
5) Secure Electronic Transactions Protocol
安全电子商务标准协议
补充资料：多方
多方面：～设法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条