基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向.设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤.验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性.为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础.
推荐文章
基于着色赋时面向对象Petri网的AUV系统建模研究
着色赋时Petri两
面向对象
自主式水下机器人
建模
死锁
基于颜色Petri网的密码协议的分析
颜色Petri网
密码协议
密码分析
基于颜色Petri网的SPIN协议研究
环境监测
路由协议
SPIN协议
CPN Tools
基于赋时层次有色Petri网的Multi-Agent调度系统建模
赋时层次有色Petri网
系统仿真
Multi-Agent
任务调度
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于赋时颜色Petri网的NSSK协议建模
来源期刊 计算机技术与发展 学科 工学
关键词 NSSK 协议 Petri网 协议分析
年,卷(期) 2010,(6) 所属期刊栏目 安全与防范
研究方向 页码范围 156-158
页数 分类号 TP393.08
字数 1503字 语种 中文
DOI 10.3969/j.issn.1673-629X.2010.06.040
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 田银花 山东科技大学信息工程系 10 15 3.0 3.0
2 韩咚 山东科技大学继续教育学院 9 22 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (14)
共引文献  (30)
参考文献  (5)
节点文献
引证文献  (3)
同被引文献  (3)
二级引证文献  (5)
1978(2)
  • 参考文献(1)
  • 二级参考文献(1)
1981(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(3)
  • 参考文献(0)
  • 二级参考文献(3)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(2)
  • 引证文献(2)
  • 二级引证文献(0)
2012(2)
  • 引证文献(1)
  • 二级引证文献(1)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2014(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
NSSK
协议
Petri网
协议分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机技术与发展
月刊
1673-629X
61-1450/TP
大16开
西安市雁塔路南段99号
52-127
1991
chi
出版文献量(篇)
12927
总下载数(次)
40
总被引数(次)
111596
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导