计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
13期
1-3,39
,共4页
李谢华%杨树堂%李建华%诸鸿文
李謝華%楊樹堂%李建華%諸鴻文
리사화%양수당%리건화%제홍문
检测模型%认证测试%Neuman-Stubblebine协议%类型攻击
檢測模型%認證測試%Neuman-Stubblebine協議%類型攻擊
검측모형%인증측시%Neuman-Stubblebine협의%류형공격
以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证.将检测模型同认证测试方法相结合,能够克服原有认证测试方法缺乏判断消息初始产生者的缺点,从而在安全协议的分析中能够检测出协议可能存在的安全漏洞.通过对Neuman-Stubblebine协议的安全性验证表明,该方法能够有效地检测到原认证测试方法无法发现的类型攻击.
以認證測試方法為基礎提齣一種檢測模型,通過對消息類型的檢測和覈對能夠明確消息的初始產生主體,進而對主體的身份進行認證.將檢測模型同認證測試方法相結閤,能夠剋服原有認證測試方法缺乏判斷消息初始產生者的缺點,從而在安全協議的分析中能夠檢測齣協議可能存在的安全漏洞.通過對Neuman-Stubblebine協議的安全性驗證錶明,該方法能夠有效地檢測到原認證測試方法無法髮現的類型攻擊.
이인증측시방법위기출제출일충검측모형,통과대소식류형적검측화핵대능구명학소식적초시산생주체,진이대주체적신빈진행인증.장검측모형동인증측시방법상결합,능구극복원유인증측시방법결핍판단소식초시산생자적결점,종이재안전협의적분석중능구검측출협의가능존재적안전루동.통과대Neuman-Stubblebine협의적안전성험증표명,해방법능구유효지검측도원인증측시방법무법발현적류형공격.
