1) electronic invoice protocol
电子发票协议
1.
A new electronic invoice protocol and its fairness analysis;
一个新的电子发票协议及其公平性分析
2) electronic receipt
电子发票
1.
These problems can be resolved in the following way: establish exclusive registration rules of electronic commerce taxation, initiate electronic receipt, perfect the Internet applicati.
对此应建立专门的电子商务税务登记制度,启用电子发票,完善网上申报制度,构筑信息共享网络,加快征管软件开发,搭建网络税务平台,加强国际间的税收协调,建立电子协查制度,从而完善我国的电子商务税收征管。
3) voting protocol
投票协议
1.
It was introduced several popular electronic voting protocols,proposed a solution to the key problem and implemented it in Director Voting System.
在对目前流行的几种投票协议分析的基础上,针对中铁信集团董事表决系统,提出了如何解决投票问题的具体方案,并在实际开发中实现了该方案。
4) 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.
阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。
5) 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.
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性。
6) Electronic payment protocol
电子支付协议
1.
Formal Research of Electronic Payment Protocol Based on pi-like Calculus;
基于类pi演算的电子支付协议安全性形式化研究
2.
Fairness analysis of electronic payment protocol based on offline TTP
基于离线可信第三方的电子支付协议公平性分析
3.
This paper built a dynamic game-based model of electronic ecommerce systems,and presented self-interested property in electronic payment protocol s.
使用通信顺序进程CSP和博弈理论提出了基于动态博弈的电子支付系统模型,提出了一种电子支付协议的新属性自利性;基于纳什均衡理论给出了自利性的形式化定义,可以用于对电子支付系统安全属性的形式化分析。
补充资料：厂商发票
厂商发票(manufacturer's invoice)是由出口货物的制造厂商所出具的以本国货币为计价单位、用来证明出口国国内市场出厂价格的发票。
其目的是供进口国海关估价、核税以及征税反倾销之用。
如果国外来证有此要求，应参照海关发票有关国内价格的填制办法处理。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条