1) European Initiative in Electronic Commerce
欧洲电子商务倡议
2) Central European Initiative
中欧倡议
3) 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.
阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。
4) 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.
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性。
5) 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.
随着网络的大规模应用,电子商务协议的运行环境越来越不可靠。
6) electronic commerce disputes
电子商务争议
1.
Compared with those so-called alternative dispute resolution systems, the litigation of electronic commerce disputes is much more a virgin soil.
电子商务争议解决机制在现实的电子商务法律关系中起着重要作用。
补充资料：中欧
| 中欧 Central Europe 欧洲中部德国、波兰、捷克、斯洛伐克、匈牙利、奥地利、列支敦士登和瑞士8个国家的统称。地形多样 ，西北部是波德平原；南为阿尔卑斯山脉、喀尔巴阡山脉；东有多瑙河流域的匈牙利平原。中欧西部部分地区为温带海洋性气候，东部为温带大陆性湿润气候。因地处欧洲中央，不仅自然条件具有多样性和过渡性。其政治、经济、民族与文化也具有明显的多样性和过渡性。经济发展的总体水平高于东欧和南欧，但是低于西欧和北欧。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条