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

被引:3
作者
黄少寅
高传善
机构
[1] 复旦大学计算机科学与工程系,复旦大学计算机科学与工程系上海,上海
关键词
匿名合同原子协议; 钱原子性; 商品原子性; 确认发送原子性; 合同原子性; 合同形式化; 自动仲裁;
D O I
暂无
中图分类号
TP393.04 [];
学科分类号
摘要
针对Tygar提出的电子商务协议 3级原子性 :钱原子性、商品原子性及确认发送原子性 ,首次提出了一个更高层次的合同原子性概念 ,并引进了合同自动执行和自动仲裁概念 ,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨 ,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案 ,并对ACAP的匿名性、安全性、原子性做了分析
引用
收藏
页码:697 / 703
页数:7
相关论文
empty
未找到相关数据