西北师范大学学报(自然科学版)
西北師範大學學報(自然科學版)
서북사범대학학보(자연과학판)
JOURNAL OF NORTHWEST NORMAL UNIVERSITY(NATURAL SCIENCE)
2010年
5期
40-44
,共5页
安全协议%Helsinki协议%BAN逻辑%串空间
安全協議%Helsinki協議%BAN邏輯%串空間
안전협의%Helsinki협의%BAN라집%천공간
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.
分析瞭BAN邏輯和串空間理論的特點與不足.為瞭瀰補二者的不足,提齣瞭一種融閤兩種理論的形式化分析方法.通過實例分析,證明該分析方法能夠將BAN邏輯和串空間的優點互補綜閤,使安全協議的分析更可靠、穩定、高效.
분석료BAN라집화천공간이론적특점여불족.위료미보이자적불족,제출료일충융합량충이론적형식화분석방법.통과실례분석,증명해분석방법능구장BAN라집화천공간적우점호보종합,사안전협의적분석경가고、은정、고효.