计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2010年
6期
156-158
,共3页
NSSK%协议%Petri网%协议分析
NSSK%協議%Petri網%協議分析
NSSK%협의%Petri망%협의분석
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础.
隨著對計算機網絡應用的不斷深入,對網絡協議的安全性進行分析和研究已經成為信息安全領域的一箇十分重要的研究方嚮.設計安全協議時,協議的安全性驗證是消除安全協議脆弱性和不精確性的關鍵步驟.驗證安全協議的模型和工具有很多,主要應用賦時顏色Petri網分析瞭安全協議中著名的NSSK協議,應用賦時顏色Petri網的變遷為導嚮的建模方法,成功地對NSSK協議進行瞭建模,併驗證瞭協議運行過程中的有效性.為下一步利用顏色Petri網協議針對NSSK協議的安全性進行分析打下瞭良好的基礎.
수착대계산궤망락응용적불단심입,대망락협의적안전성진행분석화연구이경성위신식안전영역적일개십분중요적연구방향.설계안전협의시,협의적안전성험증시소제안전협의취약성화불정학성적관건보취.험증안전협의적모형화공구유흔다,주요응용부시안색Petri망분석료안전협의중저명적NSSK협의,응용부시안색Petri망적변천위도향적건모방법,성공지대NSSK협의진행료건모,병험증료협의운행과정중적유효성.위하일보이용안색Petri망협의침대NSSK협의적안전성진행분석타하료량호적기출.
