计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
2期
19-22
,共4页
李谢华%李建华%杨树堂%诸鸿文
李謝華%李建華%楊樹堂%諸鴻文
리사화%리건화%양수당%제홍문
安全协议%串空间%认证测试
安全協議%串空間%認證測試
안전협의%천공간%인증측시
系统研究了认证测试方法的应用原理,并将该方法应用于包含两方主体的Needham-Schroeder和包含三方主体的Woo-Lam认证协议的分析中.最后通过比较认证测试方法和BAN逻辑在安全协议分析中的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点.
繫統研究瞭認證測試方法的應用原理,併將該方法應用于包含兩方主體的Needham-Schroeder和包含三方主體的Woo-Lam認證協議的分析中.最後通過比較認證測試方法和BAN邏輯在安全協議分析中的應用說明瞭認證測試方法具有分析過程簡捷、形式化描述規範的優點.
계통연구료인증측시방법적응용원리,병장해방법응용우포함량방주체적Needham-Schroeder화포함삼방주체적Woo-Lam인증협의적분석중.최후통과비교인증측시방법화BAN라집재안전협의분석중적응용설명료인증측시방법구유분석과정간첩、형식화묘술규범적우점.
