[1]韩咚 田银花.基于赋时颜色Petri网的NSSK协议建模[J].计算机技术与发展,2010,(06):156-158.
　HAN Dong,TIAN Yin-hua.The Modeling of NSSK Protocols Based on Timed Colored Petri Nets[J].,2010,(06):156-158.
点击复制

基于赋时颜色Petri网的NSSK协议建模()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年06期
页码:
156-158
栏目:
安全与防范
出版日期:
1900-01-01

文章信息/Info

Title:
The Modeling of NSSK Protocols Based on Timed Colored Petri Nets
文章编号:
1673-629X（2010）06-0156-03
作者:
韩咚1 田银花2
[1]山东科技大学继续教育学院[2]山东科技大学信息工程系
Author(s):
HAN Dong; TIAN Yin-hua
[1]Adult Education College,Shandong University of Science and Technology[2]Department of Information and Engineering,Shandong University of Science and Technology
关键词:
NSSK协议; Petri网; 协议分析
Keywords:
NSSK protocol;  Petri net;  protocol analysis
分类号:
TP393.08
文献标志码:
A
摘要:
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤。验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性。为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础。
Abstract:
With the development of computer network,application,analysis and investigation security protocol is becoming a very important aspect in the area of information security.Verification is a crucial step to eliminate weaknesses and inaccuracies of effictive

相似文献/References:

[1]翁辉 徐海珠 陈晓山.基于Petri网的装备战场抢修系统建模研究[J].计算机技术与发展,2010,(03):176.
　WENG Hui,XU Hai-zhu,CHEN Xiao-shan.Modeling Research on Equipment Battlefield Repair System Based on Petri Net[J].,2010,(06):176.
[2]李龙澍 胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,(04):76.
　LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].,2010,(06):76.
[3]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(06):51.
[4]胡文江 高永兵 樊瑞民 张健.基于Web服务的工作流执行优化方法探讨[J].计算机技术与发展,2009,(06):156.
　HU Wen-jiang,GAO Yong-bing,FAN Rui-min,et al.Research of Workflow Optimal Strategy Based on Web Services[J].,2009,(06):156.
[5]毛伟伟 于素萍.基于Petri网的Web服务动态组合[J].计算机技术与发展,2009,(11):61.
　MAO Wei-wei,YU Su-ping.Dynamic Web Service Composition Based on Petri Nets[J].,2009,(06):61.
[6]封会娟 于永利 张柳 刘文武.机动防空任务聚合级装备作战单元维修性仿真[J].计算机技术与发展,2009,(11):230.
　FENG Hui-juan,YU Yong-li,ZHANG Liu,et al.Simulation Model of Aggregated Equipment Combat Units＇ Mission Maintainability Based on Mobile Aerial Defense Mission[J].,2009,(06):230.
[7]陈伟 文东戈 王昊.层次颜色工作流Petri网建模与应用[J].计算机技术与发展,2009,(01):49.
　CHEN Wei,WEN Dong-ge,WANG Hao.Modeling and Application of Hierarchical Colored Workflow Net[J].,2009,(06):49.
[8]郭娟 许志才 方贤文.基于Petri网的Java多线程程序分析[J].计算机技术与发展,2009,(04):51.
　GUO Juan,XU Zhi-cai,FANG Xian-wen.Multi - Thread Analysis about Java Program Based on Petri Net[J].,2009,(06):51.
[9]秦凯 姜浩.一种基于Petri网的工作流模型分解方法[J].计算机技术与发展,2008,(01):97.
　QIN Kai,JIANG Hao.An Approach of Decomposition of Workflow Models Based on Petri Net[J].,2008,(06):97.
[10]乐晓波 王中华 张春丽.基于Petri网的哲学分析[J].计算机技术与发展,2008,(03):109.
　YUE Xiao-bo,WANG Zhong-hua,ZHANG Chun-li.Philosophical Analysis Based on Petri Net[J].,2008,(06):109.

备注/Memo

备注/Memo:
山东科技大学科学研究‘春蕾计划’项目（2009AZZ106）韩咚（1982-），男．山东泰安人，助教，硕士研究生，研究方向为petri网理论、并行计算等方面的研究；田银花，助教，硕士研究生，研究方向为网格计算。
更新日期/Last Update: 1900-01-01