桂林电子科技大学学报
桂林電子科技大學學報
계림전자과기대학학보
JOURNAL OF GUILIN UNIVERSITY OF ELECTRONIC TECHNOLOGY
2015年
1期
49-53
,共5页
安全协议%认证测试%Yahalom协议%间接认证链
安全協議%認證測試%Yahalom協議%間接認證鏈
안전협의%인증측시%Yahalom협의%간접인증련
security protocol%authentication test%Yahalom protocol%indirect authentication chain
针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法.该方法引入间接一致性的概念,解决了Yahalom协议中存在的不完整的挑战-应答机制和输入测试在原证明方法上只具备直接性这2个问题,成功地将输入测试运用于验证Yahalom协议,并将该证明方法推广到对Yahalom-Paulson协议的验证.新的证明方法扩展了输入测试的应用范围.
針對無法運用認證測試方法中的輸入測試對Yahalom協議進行驗證的問題,提齣一種基于間接認證鏈的輸入測試證明方法.該方法引入間接一緻性的概唸,解決瞭Yahalom協議中存在的不完整的挑戰-應答機製和輸入測試在原證明方法上隻具備直接性這2箇問題,成功地將輸入測試運用于驗證Yahalom協議,併將該證明方法推廣到對Yahalom-Paulson協議的驗證.新的證明方法擴展瞭輸入測試的應用範圍.
침대무법운용인증측시방법중적수입측시대Yahalom협의진행험증적문제,제출일충기우간접인증련적수입측시증명방법.해방법인입간접일치성적개념,해결료Yahalom협의중존재적불완정적도전-응답궤제화수입측시재원증명방법상지구비직접성저2개문제,성공지장수입측시운용우험증Yahalom협의,병장해증명방법추엄도대Yahalom-Paulson협의적험증.신적증명방법확전료수입측시적응용범위.
