收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

列车运行控制系统安全通信协议验证方法的研究

陈黎洁  
【摘要】:无线通信具有传输速率高、双向传输等优点,列车运行控制系统逐渐由传统的基于轨道电路的列车控制向基于通信的列车控制方向发展。列车运行控制系统作为安全苛求系统,要求列车与地面能够安全的通信,而无线通信本身存在重复(repetition)、删除(deletion)、插入(insertion)、乱序(resequence)恶化(corruption)、延时(delay)、伪装((?)nasquerade)等典型的安全隐患,不能保证数据传输的安全性,不能满足列车运行控制系统安全通信的要求,安全通信协议由此产生。安全通信协议运行于列车运行控制系统这种安全苛求系统中,而本质上又是一种通信协议,因此,该协议的验证既包括安全功能的验证,也包括协议性能的验证,这给该协议的验证带来了挑战。 论文针对列控系统安全通信协议的特性,在深入分析现有通信协议验证方法侧重点和局限性的基础上,将列控系统安全通信协议的验证内容归纳为功能和性能两个方面。论文提出将模型检验与仿真结合的方法验证安全通信协议,利用有色Petri网(Colored Petri Net, CPN)支持的模型检验功能验证安全通信协议的功能,利用CPN的仿真功能验证安全通信协议的性能。论文首先以欧洲列车运行控制系统(European Train Control System, ETCS)安全通信协议为背景,利用CPN的分层功能,建立安全通信协议模型。参考协议规范定义的安全通信协议的时序逻辑,利用CPN自带的基于计算树时序逻辑(Computational Tree Logic, CTL)的模型检验工具ASK-CTL验证协议逻辑功能的正确性,以及在理想条件下时间的正确性。验证结果符合预期效果,可以初步说明验证方法的合理性。论文进一步参考列车运行控制系统在实现过程中一些具体的技术指标,利用CPN的仿真功能仿真了随机条件下安全通信协议的时间特性,并且应用数理统计的知识对仿真结果进行评估,说明随机因素是如何影响安全通信协议的性能。 与国内外相关研究相比,论文的主要创新点如下: (1)针对Petri网给复杂系统建模困难的问题,提出了分层建模方法,运用有色Petri网的分层能力首先建立安全通信协议的逻辑模型,然后在逻辑模型基础上增加时间描述模块形成时间模型,最后在时间模型上增加随机事件描述模块体现随机因素; (2)针对既有通信协议验证方法的功能验证能力局限,即只能仿真协议的性能指标,不能验证协议的功能特性,提出用模型检验的方法验证安全通信协议的功能,针对既有基于Petri网的模型检验方法在描述事件发生次序方面困难的缺陷,利用有色Petri网自带模型检验工具ASK-CTL这一特点,提出用有色Petri网完成对安全通信协议的模型检验,得到基于ASK-CTL的协议的逻辑特性验证方法,提高了模型检验能力; (3)针对模型检验无法表示系统具体性能指标的问题,提出基于有色Petri网的仿真方法得出安全通信协议的性能指标,用数理统计的方法对仿真结果进行定量的评估分析; (4)针对目前安全苛求系统的验证方法没有考虑性能指标的问题,提出基于有色Petri网的模型检验与仿真结合的方法,针对安全通信协议功能与性能两方面的需求完成对协议的综合验证。 论文最后以北京交通大学自主研发的基于通信的列车运行控制系统(Communication Based Train Control System, CBTC)安全通信协议为例,采用ASK-CTL完成其功能的验证,通过验证协议的状态转换路径的唯一性、执行行为的偏序关系和可靠特性,对如何保证协议的确定性提出了建议;采用CPN和数理统计对协议的稳定性、失效率及其影响因素进行了分析,通过这样的分析结果直接为协议的设计提供依据,同时证明了论文提出方法的有效性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 祝烈煌;曹元大;廖乐健;;基于状态密钥树的安全群组密钥分发协议[J];北京理工大学学报;2006年09期
2 王明志;;开放环境中的安全通信[J];铁路通信信号工程技术;2009年04期
3 张屹;何春明;魏学业;徐虎;;开放通信系统安全码的生成和应用[J];铁道通信信号;2010年06期
4 万杉;;浅谈无线通信技术的安全措施[J];中国新技术新产品;2010年22期
5 沈华琳;;基站电源报警系统的设计与实现[J];珠江水运;2011年08期
6 祝烈煌;廖乐健;曹元大;张兴;;多智能体安全通信协议[J];北京理工大学学报;2006年10期
7 郑素文;刘俊红;刘文学;;超混沌系统的脉冲控制与同步及其在安全通信中的应用[J];装甲兵工程学院学报;2010年02期
8 邓淼磊;侯迎春;勒孚龙;;对移动卫星通信系统密钥交换协议的改进[J];四川大学学报(工程科学版);2010年04期
9 何菊;;无线传感器网络层次路由安全通信研究[J];科学技术与工程;2011年01期
10 余菊容;发挥长江通信的安全保障作用[J];中国水运;2004年05期
11 包雄关;张伟;阎战勇;;渔船海上安全通信系统的研究[J];航海技术;2006年03期
12 徐涛;高小生;;利用证书服务保护网站安全[J];中国水运(理论版);2007年03期
13 陈锋华;;列控系统安全通信研究[J];铁路通信信号工程技术;2006年01期
14 张海滨;王中宇;刘智敏;;测量不确定度评定的验证研究[J];计量学报;2007年03期
15 崔亚林;;浅析仿真模型校核、验证和确认[J];湖北水利水电职业技术学院学报;2008年02期
16 张国春;张宪;;面向体系对抗仿真的毁伤模型建模框架研究[J];系统仿真学报;2011年S1期
17 顾振中,毛黎明;改革传统寿命概念和验证方法是正确开展辅机产品延寿的前提[J];航空标准化与质量;1982年01期
18 张昭理;洪帆;廖俊国;;基于Petri网的保密性策略建模与验证[J];华中科技大学学报(自然科学版);2007年10期
19 王文博;;大中桥流量计算及验证方法在铁路工程中的应用[J];甘肃科技;2010年24期
20 何荣;;电动机不用减压起动器的减压起动特例及验证计算方法[J];电工技术;2000年06期
中国重要会议论文全文数据库 前10条
1 王琪;林永娟;;沿海VHF安全通信自动报警系统的设计[A];中国航海学会内河海事专业委员会2010年度海事管理学术交流会优秀论文集[C];2010年
2 侯宾;吕玉琴;叶德信;;SIP应用中的安全通信方案设计[A];第四届中国软件工程大会论文集[C];2007年
3 姜旭;;系统工程的验证方法[A];第十一届全国数据库学术会议论文集[C];1993年
4 李娟;郭威;;航空电信网(ATN)安全问题分析与研究[A];2010年航空器适航与空中交通管理学术年会论文集[C];2010年
5 何广强;熊锦;郭迎;曾贵华;;基于连续变量EPR纠缠光的量子安全通信[A];第十二届全国量子光学学术会议论文摘要集[C];2006年
6 郑重;李少华;刘亚斌;李敬东;;安全通信中的抗重播机制的研究与实现[A];第十八次全国计算机安全学术交流会论文集[C];2003年
7 夏薇;郭天杰;郭睿;;一种分布式数据库安全模型[A];第六届全国信息获取与处理学术会议论文集(2)[C];2008年
8 奚建春;郭放;;IPSec安全机制加密方法的改进[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
9 柳秉坦;;刍议福建海事局辖区VHF通信工程的建设[A];2006年苏、浙、闽、沪航海学会学术研讨论文集[C];2006年
10 何敏;王衍波;朱勇;王荣;关宇;王晓;;基于QKD的“准一次一密”安全通信[A];全国光电子与量子电子学技术大会论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 陈黎洁;列车运行控制系统安全通信协议验证方法的研究[D];北京交通大学;2013年
2 岳东峰;数控系统功能安全关键技术的研究[D];中国科学技术大学;2012年
3 王延炯;物联网若干安全问题研究与应用[D];北京邮电大学;2011年
4 刘年生;神经网络混沌加密算法及其在下一代互联网安全通信中的应用研究[D];厦门大学;2003年
5 杨旸;基于双线性对的可证明安全公钥密码方案研究[D];西安电子科技大学;2011年
6 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
7 张亚玲;网络化制造中的信息安全理论与技术研究[D];西安理工大学;2008年
8 胡昌慧;车载自组网络安全协议和安全字符串匹配协议研究[D];山东大学;2012年
9 周剑岚;基于Agent的内部网络安全系统研究与实现[D];华中科技大学;2006年
10 权东晓;量子通信协议研究[D];西安电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 韩识;车辆自组网安全聚合研究[D];北京交通大学;2010年
2 云培研;微机化自动站间闭塞系统安全通信的研究与设计[D];西南交通大学;2008年
3 马涛;移动Agent系统的安全通信框架设计与实现[D];重庆大学;2004年
4 李金龙;基于安全通信的IPS监控管理系统[D];电子科技大学;2009年
5 孔维萍;基于多天线的物理层安全通信技术的研究[D];南京航空航天大学;2012年
6 马福强;分布式入侵检测系统管理协调能力的研究和实现[D];山东大学;2005年
7 王丽;一种适用于受控制端能力有限的远程控制的安全通信方法[D];华南理工大学;2011年
8 白刚;基于身份加密应用的安全通信研究[D];吉林大学;2010年
9 张鑫;全电子联锁中联锁机和通信机间安全通信协议的研究[D];西南交通大学;2012年
10 林媛源;风电机组监控安全通信系统设计与实现[D];湘潭大学;2010年
中国重要报纸全文数据库 前10条
1 本报记者 尹一捷;腾讯首推安全通信理念[N];计算机世界;2011年
2 ;全球应急与公共安全通信发展趋势和案例分享[N];通信产业报;2011年
3 广文;认准三类安全通信平台[N];计算机世界;2002年
4 记者 宋国强 通讯员 李俊 廖庆玉;5年后实现南海水域安全通信全覆盖[N];海南日报;2011年
5 ;专一互联 安全通信[N];中国电脑教育报;2005年
6 ;如何自定义用户身份验证方法?[N];网络世界;2007年
7 张祎;揭开“空军一号”神秘面纱[N];中国国防报;2009年
8 ;便利店的便捷安全通道[N];网络世界;2009年
9 记者 周颖;大力提倡科学验证方法[N];中国中医药报;2000年
10 孙昭友 夏 敏;浅议采购产品的抽样验证方法[N];中国国门时报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978