RSSP-Ⅱ协议消息鉴定层的形式化描述及验证

协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现的会话密钥生成、对等实体认证、消息源认证等流程,建立有色Petri网(Colored Petri Net,CPN)模型,模型构造过程中执行有限步数的仿真,保障模型本身正确。利用模型检验方法,通过分析状态空间报告,验证了模型满足活性、家态性、公平性等基本行为属性,不存在冗余、死锁、活锁等设计缺陷。通过计算树逻辑(Computation Tree Logic,CTL)语句,验证了保密性、认证性等特定安全属性。结果表明,该模型满足文本设计规范中的功能安全性要求,为协议工程后续的协议实现、一致性检验奠定理论基础。

RSSP-Ⅱ铁路信号安全通信协议的安全性分析

针对CTCS-3级列控系统的核心安全通信协议——RSSP-Ⅱ的安全性进行分析。利用生日攻击原理,对RSSP-Ⅱ协议的核心消息鉴别码方案提出一种部分密钥恢复-伪造攻击方案。攻击结果表明,在截获232.5个已知明文的前提下,大约需要2^(57)次离线MAC计算,即可实时计算得到任意数量的伪造消息,且伪造消息中所包含的序列号、三重时间戳或机器周期等校验标识符均可通过接收端的检验,攻击的成功率约为0.63。

RSSP-Ⅱ安全通信协议软件自动测试研究

本文首先针对RSSP-Ⅱ安全通信协议与软件自动测试的相关理论进行阐述,并在此基础上,分析了RSSP-Ⅱ安全通信协议软件自动测试过程中对于结构、脚本的设计方式以及测试执行和回归测试的具体方法,希望能够给从事相关领域研究的人员,提供可靠的参考。

基于RSSP-Ⅱ安全通信协议的TSRS-CTC测试接口设计与实现

在VC集成开发环境下,实现调度集中系统CTC中的临时限速功能。根据RSSP-II铁路信号安全通信协议,设计临时限速服务器TSRS与调度集中CTC间的安全通信接口,并将其运用到CTCS-3列控系统临时限速服务器测试平台中,实现对临时限速服务器功能性及安全性的测试,从而保证其线上运营的安全。

RSSP-Ⅰ协议在城轨车地通信应用的探索

目前在城市轨道交通中大部分厂商选择RSSP-Ⅱ协议作为车地通信协议,但由于RSSP-Ⅱ协议协议建立链接复杂,目前车地通信问题大部分都是由于RSSP-Ⅱ协议链接不成功引起,通过对RSSP-Ⅱ协议与RSSP-Ⅰ协议进行剖析对比,来进行RSSP-Ⅰ协议在城轨车地通信应用的理论分析。

基于深度学习的城市轨道交通信号系统入侵检测方法

随着城市化进程不断推进,城市轨道交通作为人们出行的主要交通工具之一,越来越重要。城市轨道交通系统的信息安全问题已经引起了各方的广泛关注。针对城市轨道交通信号系统中常用的RSSP-Ⅱ安全通信协议,本文提出一种基于深度学习的入侵检测方法。通过实验对4类网络攻击的精度和误差进行对比,结果表明,该方法不仅可以大幅度缩短训练时间,而且在识别攻击行为的测试中,比常用的检测方法有更好的精度、更低的误报率和更短的时间效率。

信号系统中安全通信协议自动测试软件的设计与实现

RSSP-II安全通信协议软件是轨道交通信号领域的通信基础,通信产品的正确性以及安全性是整个信号系统的基石。文中设计了一套适用于RSSP-II产品的自动化测试软件工具,可以通过场景配置、参数设定来实现多测试用例的自动化测试,并介绍了对软件产品进行多轮次自动化测试的过程及结果。软硬件集成测试的实验结果表明该自动化测试软件稳定可靠,能有效提高信号系统通信产品的验证效率。

一种混沌密钥加密改善铁路安全通信的新方法

铁路信号安全通信是铁路运输最为重要的安全保障,关系到旅客的生命财产安全。现有的铁路安全通信是依靠中国列控系统CTCS-3在铁路安全通信协议RSSP-Ⅱ下保障铁路的安全通信,但会受到已经明文和选择性明文等攻击,对铁路通信安全造成潜在的威胁。基于Lyapunov稳定性理论,通过设计设置有限时间的控制函数,从理论上证实了分数阶超混沌系统在有限时间里能够实现同步控制,并结合RSSP-Ⅱ协议将铁路安全通信的数据信息调制到混沌信号中以混合信号进行加密传输,最后再利用相应的同步信号对混合信号进行解密,实现了铁路通信的安全传送。数值仿真结果表明了所提方案的正确性与可行性,展现出所提方案的工程领域应用潜力。