计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2004年
4期
697-703
,共7页
匿名合同原子协议%钱原子性%商品原子性%确认发送原子性%合同原子性%合同形式化%自动仲裁
匿名閤同原子協議%錢原子性%商品原子性%確認髮送原子性%閤同原子性%閤同形式化%自動仲裁
닉명합동원자협의%전원자성%상품원자성%학인발송원자성%합동원자성%합동형식화%자동중재
针对Tygar提出的电子商务协议3级原子性:钱原子性、商品原子性及确认发送原子性,首次提出了一个更高层次的合同原子性概念,并引进了合同自动执行和自动仲裁概念,同时对合同的形式化描述问题及合同原子性协议的实现模型做了初步探讨,最后给出了一个满足合同原子性的电子商务协议ACAP及其实现方案,并对ACAP的匿名性、安全性、原子性做了分析 .
針對Tygar提齣的電子商務協議3級原子性:錢原子性、商品原子性及確認髮送原子性,首次提齣瞭一箇更高層次的閤同原子性概唸,併引進瞭閤同自動執行和自動仲裁概唸,同時對閤同的形式化描述問題及閤同原子性協議的實現模型做瞭初步探討,最後給齣瞭一箇滿足閤同原子性的電子商務協議ACAP及其實現方案,併對ACAP的匿名性、安全性、原子性做瞭分析 .
침대Tygar제출적전자상무협의3급원자성:전원자성、상품원자성급학인발송원자성,수차제출료일개경고층차적합동원자성개념,병인진료합동자동집행화자동중재개념,동시대합동적형식화묘술문제급합동원자성협의적실현모형주료초보탐토,최후급출료일개만족합동원자성적전자상무협의ACAP급기실현방안,병대ACAP적닉명성、안전성、원자성주료분석 .
