计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
7期
60-63
,共4页
张卉%李续武%赵媛莉%校云超
張卉%李續武%趙媛莉%校雲超
장훼%리속무%조원리%교운초
有色Petri网%安全协议%攻击成功函数
有色Petri網%安全協議%攻擊成功函數
유색Petri망%안전협의%공격성공함수
colored Petri nets%security protocols%attacking successful function
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网.利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析.实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题.
利用有色Petri網分析安全協議時存在空間爆炸問題,對此提齣瞭構建入侵者成功攻擊安全協議所需知識集RI與入侵者可以穫得的知識集KI,併定義入侵成功函數的改進型有色Petri網.利用改進型有色Petri網對具體的Helsinki協議和TMN協議進行瞭分析.實驗錶明,該方法能大大簡化帶有入侵者的Petri網模型的構造過程,有效緩解瞭Petri網在分析安全協議時的空間爆炸問題.
이용유색Petri망분석안전협의시존재공간폭작문제,대차제출료구건입침자성공공격안전협의소수지식집RI여입침자가이획득적지식집KI,병정의입침성공함수적개진형유색Petri망.이용개진형유색Petri망대구체적Helsinki협의화TMN협의진행료분석.실험표명,해방법능대대간화대유입침자적Petri망모형적구조과정,유효완해료Petri망재분석안전협의시적공간폭작문제.
