合同原子性及ACAP协议的实现

针对Tygar提出的电子商务协议 3级原子性 :钱原子性、商品原子性及确认发送原子性 ,首次提出了一个更高层次的合同原子性概念 ,并引进了合同自动执行和自动仲裁概念 ,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨 ,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案 ,并对ACAP的匿名性、安全性。

SETBOC——一种新型的基于单向身份认证的安全电子交易协议

传统的安全电子交易协议需做交易3方交叉认证,协议复杂、实用性差。本文提出了一种新型的基于单向身份认证技术的安全电子交易协议SETBOC,支持客户、商家、银行间的相互身份认证,并提供了交易的冲突仲裁策略,具有效率高、符合钱原子性、易实现优点。