计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
32期
118-120,148
,共4页
电子商务%协议%可追究性%公平性%形式化分析
電子商務%協議%可追究性%公平性%形式化分析
전자상무%협의%가추구성%공평성%형식화분석
通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法.新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力.该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又能分析复杂的电子商务协议.
通過對Kailar邏輯進行改進,提齣瞭一種新的用于分析電子商務協議的形式化方法.新方法中的推導規則既簡單便捷同時又具有分析籤名和分析密文的能力.該方法既能推導協議的可追究性又能分析協議的公平性,與其它的方法相比較,這一新方法既避免瞭Kailar邏輯的缺陷又能分析複雜的電子商務協議.
통과대Kailar라집진행개진,제출료일충신적용우분석전자상무협의적형식화방법.신방법중적추도규칙기간단편첩동시우구유분석첨명화분석밀문적능력.해방법기능추도협의적가추구성우능분석협의적공평성,여기타적방법상비교,저일신방법기피면료Kailar라집적결함우능분석복잡적전자상무협의.
