基于有色Petri网的时钟同步协议安全性分析

发布时间：2017-09-19 06:47

  本文关键词：基于有色Petri网的时钟同步协议安全性分析

  更多相关文章： 工业以太网 时钟同步协议 有色Petri网 状态方程 主时钟欺骗

【摘要】：随着工业以太网的发展,作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要.针对时钟同步协议的安全性问题,首先提出一种基于有色Petri网的时钟同步协议安全性分析方法;然后通过建立协议的有色Petri网模型,利用状态方程等工具针对不安全状态的可达性进行判断分析,从而实现时钟同步协议的安全性分析;最后具体分析了一种基于精密时钟同步协议(PTP)的时钟同步协议以及针对该协议的主时钟欺骗攻击,验证了所提出方法的有效性.
【作者单位】： 浙江大学工业控制技术国家重点实验室;浙江大学智能系统与控制研究所;
【关键词】： 工业以太网 时钟同步协议 有色Petri网 状态方程 主时钟欺骗
【基金】：国家自然科学基金项目(61223004) 国家863计划项目(2012AA041102)
【分类号】：TP393.08;TP301.1
【正文快照】： 0引言以太网以其开放性好、应用广泛、价格低廉等优势逐步在过程控制领域的中上层(如过程控制层、信息管理层)网络中起到了主导作用,并有进一步向下发展至下层(如现场设备层)网络的趋势,在各类重要基础设施中起到了关键作用.但是,由于其自身的CSMA/CD机制以及设备层和I/O层上

【参考文献】

中国期刊全文数据库 前4条

1 王燕山;李运华;刘恩朋;刘金甫;;以太网时间同步技术的研究进展及其应用[J];测控技术;2007年04期

2 郑文兵,李成忠;ARP欺骗原理及一种防范算法[J];江南大学学报;2003年06期

3 王飞雪;盛红岩;常勇;;基于Liunx系统的SNTP协议的研究与应用[J];现代电视技术;2007年02期

4 缪学勤;论六种实时以太网的通信协议[J];自动化仪表;2005年04期

【共引文献】

中国期刊全文数据库 前10条

1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期

2 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期

3 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期

4 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期

5 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期

6 喻平;曹继平;宋建社;章涛;;改进的模糊Petri网算法及其在故障诊断中的应用[J];兵工自动化;2011年06期

7 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期

8 方可;马萍;杨明;;仿真可信度评估中的AHP超越权重[J];北京航空航天大学学报;2011年05期

9 左春荣;张志萍;;基于Petri网的第三方物流配送系统的建模研究[J];商业研究;2008年04期

10 姜瑞政;贾宝柱;王川;;基于实时以太网的电力推进船舶IPNCS设计[J];船舶工程;2012年02期

中国重要会议论文全文数据库 前10条

1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年

2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年

3 刘晓萍;曹纪东;胡湘华;刘利;马民;黄双临;;服务器高精度时间同步技术研究[A];第二届中国卫星导航学术年会电子文集[C];2011年

4 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量，努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集（下册）[C];2008年

5 刘扬;苑新玲;董开坤;;ARP欺骗检测与防范技术的研究[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集（下册）[C];2008年

6 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

7 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

8 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

9 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

中国博士学位论文全文数据库 前10条

1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年

2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

3 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年

4 刘思华;电网故障诊断方法的研究[D];山东大学;2010年

5 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年

6 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年

7 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年

8 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年

9 刘昌平;可信计算环境安全技术研究[D];电子科技大学;2011年

10 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年

中国硕士学位论文全文数据库 前10条

1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年

2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年

3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年

4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年

6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年

7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年

8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年

9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年

10 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年

【二级参考文献】

中国期刊全文数据库 前5条

1 冯冬芹;金建祥;褚健;;智能工厂核心技术——EPA实时以太网[J];国内外机电一体化技术;2004年06期

2 任侠,吕述望;ARP协议欺骗原理分析与抵御方法[J];计算机工程;2003年09期

3 庄亚俊,刘国平,吴敏,赵虹,胡春华;一种基于工业以太网的监控系统的设计与应用[J];微计算机信息;2005年04期

4 张妍 ,孙鹤旭 ,林涛 ,宁立革;IEEE 1588在实时工业以太网中的应用[J];微计算机信息;2005年15期

5 高世伟,乔卫民,敬岚;基于uCLinux的嵌入式通讯的设计[J];微计算机信息;2005年19期

【相似文献】

中国期刊全文数据库 前10条

1 周水斌;田志国;赵应兵;闫志辉;;满足IEC61850要求的站用时钟服务器[J];电力系统保护与控制;2010年07期

2 何万里,隋江华,任光;基于CAN总线的分布式高精度时钟的实现[J];计算机工程与应用;2004年36期

3 吴维敬;SDH系统时钟成环问题探讨[J];中国制造业信息化;2005年09期

4 赵英;王旖旎;马严;李文生;;基于NTP的时钟调整策略分析[J];小型微型计算机系统;2008年10期

5 蔡君;范馨月;周非;;分组网络时钟同步算法的研究[J];电信科学;2010年S2期

6 王波;吕俊伟;于振涛;;面向物联网的时钟同步体系架构研究[J];计算机工程与设计;2011年05期

7 陈银桃;陆卫军;张清;章维;;全厂网络时钟同步方案[J];可编程控制器与工厂自动化;2012年02期

8 庄晓燕;王厚军;;基于卡尔曼滤波的网络精确时钟同步研究[J];测控技术;2013年09期

9 杨爱玲;廖兴鑫;姜传辉;付松涛;;虚拟时钟指数逼近的无线传感器网络时钟同步协议[J];单片机与嵌入式系统应用;2013年10期

10 付彦生;天津市话时钟同步网运行故障的分析和建议[J];天津通信技术;1997年02期

中国重要会议论文全文数据库 前10条

1 赵英;李杏;;基于熵优化的网络时钟调整策略[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

2 李照涛;;时钟同步在联通移动网中的应用[A];2007年中国通信学会“移动增值业务与应用”学术年会论文集[C];2007年

3 贾允毅;胥布工;王世华;刘步春;;端对端网络时钟漂移补偿算法研究及其实现[A];第二十六届中国控制会议论文集[C];2007年

4 邓杰莹;;天文时钟基站高精度时间统一的设计与应用[A];2013年中国电机工程学会年会论文集[C];2013年

5 柏长冰;陈启美;王俊;;江苏高速公路通信网时钟问题的研究[A];第一届全国公路科技创新高层论坛论文集智能交通与机电工程卷[C];2002年

6 张鹏;王少荣;程时杰;;基于GPS的高精度同步时钟装置的研制[A];湖北省电工技术学会2004年学术年会论文集[C];2004年

7 熊俊;陈永洲;;MESH型时钟路由算法[A];中国通信学会第五届学术年会论文集[C];2008年

8 罗旭明;李连兴;;实现全网时钟同步的方法与意义[A];2012电力行业信息化年会论文集[C];2012年

9 袁艺;赵卫华;杨孟飞;;时钟初始同步问题的软件方法实现[A];全国第十二届空间及运动体控制技术学术会议论文集[C];2006年

10 周书民;赵明;孙亚民;;基于本地时钟选择的时钟同步算法[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年

中国重要报纸全文数据库 前6条

1 河北 刘慧丽;利用“宏”解决时钟同步问题[N];电子报;2009年

2 卜哲 刘述;TDMoIP：过渡技术面临挑战[N];通信产业报;2005年

3 胡昌军;PTN同步需求及相关技术[N];人民邮电;2008年

4 中国工程物理研究院计算机应用研究所 胥永康 岳筱玲;客户机与服务器的时钟同步[N];计算机世界;2002年

5 中兴通讯 高辉;IP成就移动业务承载未来[N];通信产业报;2010年

6 中国移动通信集团公司网络优化处 陈莉华;移动BSC与BTS的定时技术的一点调查和思考[N];通信产业报;2002年

中国博士学位论文全文数据库 前9条

1 庄晓燕;分布式测试系统时钟网络结构与同步算法研究[D];电子科技大学;2013年

2 何建平;基于一致性的无线传感器网络时钟同步算法研究[D];浙江大学;2013年

3 陈健;以太分组网络时钟同步技术研究及应用[D];上海大学;2008年

4 赵英;基于异步网络环境的自适应时钟同步[D];北京化工大学;2004年

5 龚晓春;分布式微型航天器的时钟同步研究[D];哈尔滨工业大学;2007年

6 庞丽莉;无线网络仪器的时钟同步、定位及数据安全存储算法研究[D];吉林大学;2013年

7 李本亮;基于无线局域网的分布式测试系统实时性及时钟同步研究[D];电子科技大学;2011年

8 叶菁华;高速串行数据发送器的研究[D];复旦大学;2005年

9 尹汝泼;面向控制网络的介质访问控制相关问题研究[D];上海交通大学;2007年

中国硕士学位论文全文数据库 前10条

1 王勤民;军用交换系统中二级时钟的设计与实现[D];解放军信息工程大学;2006年

2 陈建明;基于GPS的高精度时钟的研究与设计[D];华中科技大学;2009年

3 李杏;网络时钟同步及时钟服务器稳定性研究[D];北京化工大学;2012年

4 王奉乾;3G平台实时检测模块的设计和实现[D];重庆邮电大学;2008年

5 徐金平;网络时钟同步的研究[D];北京化工大学;2004年

6 王f，

本文编号：880146