计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2008年
1期
104-109
,共6页
串空间%认证测试%主体关联度%模型检测
串空間%認證測試%主體關聯度%模型檢測
천공간%인증측시%주체관련도%모형검측
基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性.利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用.
基于串空間模型的認證測試方法被證明是一種分析認證協議的有效工具,為瞭使之適用于類型更多、規模更大的安全協議,併提高其在協議的認證性、可達性、機密性、非否認性、會話密鑰的新鮮性及主體間的關聯度上的分析能力,對原有的認證測試方法進行改進,充分利用消息格式,細化分析步驟,增添相關符號以分析複雜協議的更多安全特性.利用該方法能縮減模型檢測自動化工具的搜索範圍,在解決空間爆炸問題的同時有效地找到多方協議的具體攻擊路徑,而且它對安全協議的設計和驗證也具有一定的指導作用.
기우천공간모형적인증측시방법피증명시일충분석인증협의적유효공구,위료사지괄용우류형경다、규모경대적안전협의,병제고기재협의적인증성、가체성、궤밀성、비부인성、회화밀약적신선성급주체간적관련도상적분석능력,대원유적인증측시방법진행개진,충분이용소식격식,세화분석보취,증첨상관부호이분석복잡협의적경다안전특성.이용해방법능축감모형검측자동화공구적수색범위,재해결공간폭작문제적동시유효지조도다방협의적구체공격로경,이차타대안전협의적설계화험증야구유일정적지도작용.
