摘要
针对Tygar提出的电子商务协议 3级原子性 :钱原子性、商品原子性及确认发送原子性 ,首次提出了一个更高层次的合同原子性概念 ,并引进了合同自动执行和自动仲裁概念 ,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨 ,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案 ,并对ACAP的匿名性、安全性。
Based on professor Tygar's three levels atomicity notion in electronic commerce protocols: money atomicity, goods atomicity and certified delivery atomicity, a new atomicity named contract atomicity (CA) is proposed in this paper, which owns higher level atomicity than that of three atomicity In the CA protocol, electronic contract should be formalized firstly and then be executed integrally A mechanism for executing the electronic contract automatically and another for arbitrating the electronic contract automatically are also proposed As an example, a simple protocol named ACAP(anonymous contract atomic protocol) is designed to illustrate the notion 'CA' Through analysis of ACAP using formalized methods, it is proved that ACAP has the following properties: anonymity, security, and atomicity
出处
《计算机研究与发展》
EI
CSCD
北大核心
2004年第4期697-703,共7页
Journal of Computer Research and Development
关键词
匿名合同原子协议
钱原子性
商品原子性
确认发送原子性
合同原子性
合同形式化
自动仲裁
anonymous contract atomic protocol(ACAP)
money atomicity
goods atomicity
certified delivery atomicity
contract atomicity
contract formalization
automatical arbitration
