上海交通大学学报
上海交通大學學報
상해교통대학학보
JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY
2007年
1期
85-89,99
,共6页
李谢华%杨树堂%李建华%诸鸿文
李謝華%楊樹堂%李建華%諸鴻文
리사화%양수당%리건화%제홍문
认证测试%消息类型%Neuman-Stubblebine协议%Kao-Chow认证协议
認證測試%消息類型%Neuman-Stubblebine協議%Kao-Chow認證協議
인증측시%소식류형%Neuman-Stubblebine협의%Kao-Chow인증협의
将消息类型的概念和检测方法引入认证测试的分析过程,提出基于消息类型检测的认证测试分析方法,从而完善了认证测试在对称密钥协议验证中的应用,使其具有发现消息重放攻击和类型攻击的能力.对Neuman-Stubblebine协议和Kao-Chow协议的分析结果表明,基于消息类型检测的认证测试方法能够发现对Neuman-Stubblebine协议的类型攻击,并且为Kao-Chow协议提供更为准确的证明.
將消息類型的概唸和檢測方法引入認證測試的分析過程,提齣基于消息類型檢測的認證測試分析方法,從而完善瞭認證測試在對稱密鑰協議驗證中的應用,使其具有髮現消息重放攻擊和類型攻擊的能力.對Neuman-Stubblebine協議和Kao-Chow協議的分析結果錶明,基于消息類型檢測的認證測試方法能夠髮現對Neuman-Stubblebine協議的類型攻擊,併且為Kao-Chow協議提供更為準確的證明.
장소식류형적개념화검측방법인입인증측시적분석과정,제출기우소식류형검측적인증측시분석방법,종이완선료인증측시재대칭밀약협의험증중적응용,사기구유발현소식중방공격화류형공격적능력.대Neuman-Stubblebine협의화Kao-Chow협의적분석결과표명,기우소식류형검측적인증측시방법능구발현대Neuman-Stubblebine협의적류형공격,병차위Kao-Chow협의제공경위준학적증명.