系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2005年
z1期
78-81
,共4页
Petri网%π-网%密码协议%鉴别
Petri網%π-網%密碼協議%鑒彆
Petri망%π-망%밀마협의%감별
π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.
π-網是一類模塊化的、具有代數縯算功能的高級Petri網.通過引入項、buffer庫所和解密變遷等建模元素,本文在π-網中建立瞭密鑰管理和加密信息的傳輸機製,形成瞭密碼協議的Petri網形式化模型,而且對于任意的一箇密碼協議,都可以將其模塊化,本文還提齣瞭密碼協議的鑒彆性和安全性的驗證機製.通過對Needham-Schroeder協議的實例分析,對密碼協議的密鑰交換和鑒彆性,以及協議存在的漏洞,進行瞭有效的形式化描述和分析.
π-망시일류모괴화적、구유대수연산공능적고급Petri망.통과인입항、buffer고소화해밀변천등건모원소,본문재π-망중건립료밀약관리화가밀신식적전수궤제,형성료밀마협의적Petri망형식화모형,이차대우임의적일개밀마협의,도가이장기모괴화,본문환제출료밀마협의적감별성화안전성적험증궤제.통과대Needham-Schroeder협의적실례분석,대밀마협의적밀약교환화감별성,이급협의존재적루동,진행료유효적형식화묘술화분석.
