小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2008年
4期
622-626
,共5页
认证协议%协议形式化分析%有向图
認證協議%協議形式化分析%有嚮圖
인증협의%협의형식화분석%유향도
认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.
認證協議的形式化描述及其安全性分析是安全協議形式化分析的關鍵問題之一.為瞭解決以往分析方法中協議規範形式化描述存在的問題,提齣瞭一種協議規範有嚮圖描述方法,併在此基礎上提齣瞭協議消息構造的逆嚮搜索算法.用該算法分析Woo-Lam認證協議,找到瞭該協議一種新的攻擊方法及其攻擊路徑.
인증협의적형식화묘술급기안전성분석시안전협의형식화분석적관건문제지일.위료해결이왕분석방법중협의규범형식화묘술존재적문제,제출료일충협의규범유향도묘술방법,병재차기출상제출료협의소식구조적역향수색산법.용해산법분석Woo-Lam인증협의,조도료해협의일충신적공격방법급기공격로경.