计算机安全
計算機安全
계산궤안전
NETWORK AND COMPUTER SECURITY
2012年
6期
50-53
,共4页
安全协议%CCITT X.509协议%串空间模型%认证测试
安全協議%CCITT X.509協議%串空間模型%認證測試
안전협의%CCITT X.509협의%천공간모형%인증측시
串空间模型是一种新兴的密码协议形式化分析工具,基于串空间模型的协议认证分析方法是比较常用的验证方法.概述了串空间模型理论和基于串空间模型的认证测试理论,并利用此理论对CCITT X.509协议进行了形式化的分析.该协议存在缺陷并对此进行了改进.
串空間模型是一種新興的密碼協議形式化分析工具,基于串空間模型的協議認證分析方法是比較常用的驗證方法.概述瞭串空間模型理論和基于串空間模型的認證測試理論,併利用此理論對CCITT X.509協議進行瞭形式化的分析.該協議存在缺陷併對此進行瞭改進.
천공간모형시일충신흥적밀마협의형식화분석공구,기우천공간모형적협의인증분석방법시비교상용적험증방법.개술료천공간모형이론화기우천공간모형적인증측시이론,병이용차이론대CCITT X.509협의진행료형식화적분석.해협의존재결함병대차진행료개진.
