计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
9期
172-174,186
,共4页
协议分析%形式化分析方法%安全属性
協議分析%形式化分析方法%安全屬性
협의분석%형식화분석방법%안전속성
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性.为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性.用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达.通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法.
安全屬性的基于特定分析方法和限于特定屬性的形式化描述嚴重影響瞭安全協議形式化分析方法的有效性和適用性.為解決這箇問題,本文提齣瞭一種統一的形式化描述方法,即通過屬性動作之間的匹配關繫來錶達協議的安全屬性.用這種方法詳細分析瞭認證屬性、保密屬性以及公平性屬性的形式化錶達.通過比較分析,該方法與其他方法相比,具有準確、簡潔和擴展性彊的特點,在總體上優于其他方法.
안전속성적기우특정분석방법화한우특정속성적형식화묘술엄중영향료안전협의형식화분석방법적유효성화괄용성.위해결저개문제,본문제출료일충통일적형식화묘술방법,즉통과속성동작지간적필배관계래표체협의적안전속성.용저충방법상세분석료인증속성、보밀속성이급공평성속성적형식화표체.통과비교분석,해방법여기타방법상비,구유준학、간길화확전성강적특점,재총체상우우기타방법.