计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
11期
1914-1919
,共6页
彭红艳%李肖坚%夏春和%邓剑锋%周小发
彭紅豔%李肖堅%夏春和%鄧劍鋒%週小髮
팽홍염%리초견%하춘화%산검봉%주소발
不可否认协议%形式化分析%SVO逻辑%可信第三方
不可否認協議%形式化分析%SVO邏輯%可信第三方
불가부인협의%형식화분석%SVO라집%가신제삼방
不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否认协议,以解决已有协议存在的不公平、机密性保护不好和协议交互次数多的问题.形式化分析的结果表明,提出的协议能完成收发双方的不可否认以及不可否认协议所要达成的公平性和证据有效性.
不同應用環境下不可否認協議的目標是不同的,麵嚮電子郵件的不可否認協議目標有:雙方不可否認;公平;協議能牴禦常見的篡改和重放攻擊;減少對可信第三方的信賴程度,保證郵件機密性;儘可能減少協議交互次數.提齣一種麵嚮電子郵件的不可否認協議,以解決已有協議存在的不公平、機密性保護不好和協議交互次數多的問題.形式化分析的結果錶明,提齣的協議能完成收髮雙方的不可否認以及不可否認協議所要達成的公平性和證據有效性.
불동응용배경하불가부인협의적목표시불동적,면향전자유건적불가부인협의목표유:쌍방불가부인;공평;협의능저어상견적찬개화중방공격;감소대가신제삼방적신뢰정도,보증유건궤밀성;진가능감소협의교호차수.제출일충면향전자유건적불가부인협의,이해결이유협의존재적불공평、궤밀성보호불호화협의교호차수다적문제.형식화분석적결과표명,제출적협의능완성수발쌍방적불가부인이급불가부인협의소요체성적공평성화증거유효성.
