计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
13期
156-159
,共4页
刘雪艳%吴慧欣%张强%王彩芬
劉雪豔%吳慧訢%張彊%王綵芬
류설염%오혜흔%장강%왕채분
面向对象时间Petri网%密码协议%TMN协议%抑制弧
麵嚮對象時間Petri網%密碼協議%TMN協議%抑製弧
면향대상시간Petri망%밀마협의%TMN협의%억제호
利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法.该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充.实例分析结果证明了该方法的有效性.
利用麵嚮對象技術和時間Petri網的優點,提齣一種基于麵嚮對象時間Petri網的密碼協議分析方法.該方法可以降低建模複雜性和計算複雜性,提高建模效率,實現時間Petri網的高度模塊化,能更好地適應密碼協議分析過程中的重組和擴充.實例分析結果證明瞭該方法的有效性.
이용면향대상기술화시간Petri망적우점,제출일충기우면향대상시간Petri망적밀마협의분석방법.해방법가이강저건모복잡성화계산복잡성,제고건모효솔,실현시간Petri망적고도모괴화,능경호지괄응밀마협의분석과정중적중조화확충.실례분석결과증명료해방법적유효성.