通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2011年
3期
18-26
,共9页
冯超%陈岳兵%张权%唐朝京
馮超%陳嶽兵%張權%唐朝京
풍초%진악병%장권%당조경
小可否认协议%计算模型%密码学可靠性%辅助验证
小可否認協議%計算模型%密碼學可靠性%輔助驗證
소가부인협의%계산모형%밀마학가고성%보조험증
提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法.首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击.其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择明文攻击下的不可区分性和明文完整性,且数字签名算法满足选择消息攻击的不可伪造性的条件下,Zhou-Gollmann协议具有公平性和不可否认性.与现有方法相比,既能有效利用辅助工具的自动验证能力,又能弥补其验证能力的不足,提高了验证效率和验证结果的可靠性.
提齣一種密碼學可靠的Zhou-Gollmann不可否認協議輔助驗證方法.首先建立瞭計算模型下協議的執行語義模型,構造瞭一種基于密碼學算法的證據偽造攻擊.其次,指齣目前對協議公平性建模方麵的缺陷,併結閤輔助工具證明:在加密算法滿足選擇明文攻擊下的不可區分性和明文完整性,且數字籤名算法滿足選擇消息攻擊的不可偽造性的條件下,Zhou-Gollmann協議具有公平性和不可否認性.與現有方法相比,既能有效利用輔助工具的自動驗證能力,又能瀰補其驗證能力的不足,提高瞭驗證效率和驗證結果的可靠性.
제출일충밀마학가고적Zhou-Gollmann불가부인협의보조험증방법.수선건립료계산모형하협의적집행어의모형,구조료일충기우밀마학산법적증거위조공격.기차,지출목전대협의공평성건모방면적결함,병결합보조공구증명:재가밀산법만족선택명문공격하적불가구분성화명문완정성,차수자첨명산법만족선택소식공격적불가위조성적조건하,Zhou-Gollmann협의구유공평성화불가부인성.여현유방법상비,기능유효이용보조공구적자동험증능력,우능미보기험증능력적불족,제고료험증효솔화험증결과적가고성.
