软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
1999年
12期
1238-1245
,共8页
可追究性%电子商务%协议%协议分析
可追究性%電子商務%協議%協議分析
가추구성%전자상무%협의%협의분석
近年来,电子商务协议的设计逐渐成为热点.可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力.缺乏可追究性,电子交易容易引起争议.因此,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.该文指出这一逻辑的缺陷:(1) 不能分析协议的公平性;(2) 对协议语句的解释及初始化假设是非形式化的,存在局限性;(3) 无法处理密文.
近年來,電子商務協議的設計逐漸成為熱點.可追究性是指電子商務協議迫使箇人或組織對自己在電子交易中的行為負責的能力.缺乏可追究性,電子交易容易引起爭議.因此,Rajashekar Kailar提齣瞭一種用于分析電子商務協議中可追究性的形式化分析方法,簡稱Kailar邏輯.該文指齣這一邏輯的缺陷:(1) 不能分析協議的公平性;(2) 對協議語句的解釋及初始化假設是非形式化的,存在跼限性;(3) 無法處理密文.
근년래,전자상무협의적설계축점성위열점.가추구성시지전자상무협의박사개인혹조직대자기재전자교역중적행위부책적능력.결핍가추구성,전자교역용역인기쟁의.인차,Rajashekar Kailar제출료일충용우분석전자상무협의중가추구성적형식화분석방법,간칭Kailar라집.해문지출저일라집적결함:(1) 불능분석협의적공평성;(2) 대협의어구적해석급초시화가설시비형식화적,존재국한성;(3) 무법처리밀문.