计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
27期
125-128
,共4页
乐观公平交换协议%可追究性%形式化分析
樂觀公平交換協議%可追究性%形式化分析
악관공평교환협의%가추구성%형식화분석
可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议.目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法.文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性.
可追究性是安全電子商務協議必鬚遵循的重要原則之一,樂觀公平交換協議是一類重要的電子商務協議.目前沒有針對樂觀公平交換協議的可追究性進行形式化分析的具體方法.文章提齣瞭一種分析樂觀公平交換協議可追究性的形式化方法,該方法不再單獨定義非否認證據,隻是研究協議的目標設計是否能提供實現可追究性的證據,將可追究性證明與公平性等其它安全性質的證明分開討論,這樣不論協議是否滿足其它安全性質,都可以討論協議是否滿足可追究性.
가추구성시안전전자상무협의필수준순적중요원칙지일,악관공평교환협의시일류중요적전자상무협의.목전몰유침대악관공평교환협의적가추구성진행형식화분석적구체방법.문장제출료일충분석악관공평교환협의가추구성적형식화방법,해방법불재단독정의비부인증거,지시연구협의적목표설계시부능제공실현가추구성적증거,장가추구성증명여공평성등기타안전성질적증명분개토론,저양불론협의시부만족기타안전성질,도가이토론협의시부만족가추구성.
