计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
19期
100-102
,共3页
李廷元%秦志光%刘晓东%张选芳
李廷元%秦誌光%劉曉東%張選芳
리정원%진지광%류효동%장선방
安全协议%形式化分析%串空间模型%认证测试方法%Needham-Schroeder协议
安全協議%形式化分析%串空間模型%認證測試方法%Needham-Schroeder協議
안전협의%형식화분석%천공간모형%인증측시방법%Needham-Schroeder협의
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法.针对Needham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标.
在安全協議的形式化分析方法中,串空間模型和基于串空間模型的認證測試方法是比較常用的驗證方法.針對Needham-Schroeder協議存在中間人攻擊的缺陷,提齣對協議的改進併採用認證測試方法,驗證瞭改進的協議可以滿足協議的安全目標.
재안전협의적형식화분석방법중,천공간모형화기우천공간모형적인증측시방법시비교상용적험증방법.침대Needham-Schroeder협의존재중간인공격적결함,제출대협의적개진병채용인증측시방법,험증료개진적협의가이만족협의적안전목표.
