计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
8期
70-74
,共5页
密码协议%TMN%CPN%多次并发会话
密碼協議%TMN%CPN%多次併髮會話
밀마협의%TMN%CPN%다차병발회화
密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用.提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法.采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly 方法生成攻击路径.采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式.
密碼協議是安全共享網絡資源的機製和規範,是構建網絡安全環境的基石,其安全性對整箇網絡環境的安全起著至關重要的作用.提齣瞭採用Colored Petri Nets(CPN,著色Petri網)分析密碼協議的新方法.採用新方法對TMN協議的多次併髮會話通信進行形式化建模,模型依據會話配置和會話順序進行功能單元劃分,採用on-the-fly 方法生成攻擊路徑.採用狀態空間搜索技術,髮現瞭該協議的多次併髮會話不安全狀態,併穫得瞭新的攻擊模式.
밀마협의시안전공향망락자원적궤제화규범,시구건망락안전배경적기석,기안전성대정개망락배경적안전기착지관중요적작용.제출료채용Colored Petri Nets(CPN,착색Petri망)분석밀마협의적신방법.채용신방법대TMN협의적다차병발회화통신진행형식화건모,모형의거회화배치화회화순서진행공능단원화분,채용on-the-fly 방법생성공격로경.채용상태공간수색기술,발현료해협의적다차병발회화불안전상태,병획득료신적공격모식.
