微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2007年
27期
59-61
,共3页
安全协议%Petri网%模型
安全協議%Petri網%模型
안전협의%Petri망%모형
协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点.本文提出了一种新的基于扩展Pebri网的安全协议建模方法,并且使用该方法对经典协议做了建模、分析和检测,构造了攻击模型,证明了这种方法的有效性.
協議安全性分析是網絡安全的一箇難題,運用形式方法對協議進行安全分析和檢測,找齣安全漏洞仍是該領域的研究熱點.本文提齣瞭一種新的基于擴展Pebri網的安全協議建模方法,併且使用該方法對經典協議做瞭建模、分析和檢測,構造瞭攻擊模型,證明瞭這種方法的有效性.
협의안전성분석시망락안전적일개난제,운용형식방법대협의진행안전분석화검측,조출안전루동잉시해영역적연구열점.본문제출료일충신적기우확전Pebri망적안전협의건모방법,병차사용해방법대경전협의주료건모、분석화검측,구조료공격모형,증명료저충방법적유효성.