煤炭技术
煤炭技術
매탄기술
COAL TECHNOLOGY
2013年
1期
169-170
,共2页
周莉%陆萍%董虎胜%谭方勇
週莉%陸萍%董虎勝%譚方勇
주리%륙평%동호성%담방용
模型检测%认证协议%协议验证%可扩展认证协议%传输层安全
模型檢測%認證協議%協議驗證%可擴展認證協議%傳輸層安全
모형검측%인증협의%협의험증%가확전인증협의%전수층안전
为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法.使用SPIN PROMELA语言对通信各方建模,用线性时态逻辑LTL表示安全属性,提出了将SPIN应用于认证协议的验证方法.
為確保無線網絡安全認證,應用模型檢查工具SPIN對EAP-TLS認證協議進行建模,根據SPIN給齣攻擊軌跡,指齣EAP-TLS可能存在雙嚮認證失敗的安全隱患,從牴抗攻擊和協議改進提齣瞭基于隧道的認證方法.使用SPIN PROMELA語言對通信各方建模,用線性時態邏輯LTL錶示安全屬性,提齣瞭將SPIN應用于認證協議的驗證方法.
위학보무선망락안전인증,응용모형검사공구SPIN대EAP-TLS인증협의진행건모,근거SPIN급출공격궤적,지출EAP-TLS가능존재쌍향인증실패적안전은환,종저항공격화협의개진제출료기우수도적인증방법.사용SPIN PROMELA어언대통신각방건모,용선성시태라집LTL표시안전속성,제출료장SPIN응용우인증협의적험증방법.
