电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2000年
9期
13-15
,共3页
周展飞%周典萃%王贵林%卿斯汉
週展飛%週典萃%王貴林%卿斯漢
주전비%주전췌%왕귀림%경사한
电子商务协议%可追究性%公平性%形式化分析
電子商務協議%可追究性%公平性%形式化分析
전자상무협의%가추구성%공평성%형식화분석
本文指出在分析电子商务协议公平性的过程中,不仅要考虑参与协议的主体被动攻击的情况,同时还要考虑参与协议的主体进行主动攻击的情况.在此基础上,本文对Kailar逻辑进行了改进,使之能够分析协议的可追究性和公平性.
本文指齣在分析電子商務協議公平性的過程中,不僅要攷慮參與協議的主體被動攻擊的情況,同時還要攷慮參與協議的主體進行主動攻擊的情況.在此基礎上,本文對Kailar邏輯進行瞭改進,使之能夠分析協議的可追究性和公平性.
본문지출재분석전자상무협의공평성적과정중,불부요고필삼여협의적주체피동공격적정황,동시환요고필삼여협의적주체진행주동공격적정황.재차기출상,본문대Kailar라집진행료개진,사지능구분석협의적가추구성화공평성.