RSSP-II安全通信协议参数配置问题的分析

在CTCS-3级列控系统中,地面设备之间广泛采用RSSP-II安全通信协议,RSSP-II安全通信协议保障了这些设备间通信的可靠性。在实际的工程实施过程中,RSSP-II安全通信协议中各个配置参数的选取是一个问题,既要保障设备间通信的可靠性,还要尽可能提高通信的可用性,结合RSSP-II安全通信协议的工作特点,对协议中配置参数的选取问题进行分析,使得在工程配置RSSP-II安全通信协议的通信参数时,更加合理。

RSSP-II安全通信协议软件的自动测试设计及实现

RSSP-II安全通信协议软件是铁路通信领域安全产品,其软件功能测试采用SDP专项测试工具实现自动化测试,从而提高了测试效率和测试规范性。提出RSSP-II软件自动化测试框架,通过测试引擎和脚本的联合设计来实现测试过程中的错误注入,对软件产品进行了多轮次自动化测试,并将专项测试工具推广应用于半实物软硬件集成测试。

基于通信顺序进程方法的RSSP-Ⅱ通信协议安全性分析

近年来,工业控制系统网络安全问题逐渐显现。铁路信号系统作为工业控制系统的一种特殊应用,除了保证系统设备可靠、功能完整之外,承载信息传输的网络安全问题也是迫切需要关注和解决的问题。文章分析了关乎铁路信号系统安全的RSSP-Ⅱ通信协议,引入了形式化建模中的通信顺序进程方法,对通信协议的密钥服务流程和对等实体认证过程这两个关键内容进行了相应的建模研究工作。文章采用模型检测工具Casper-FDR对协议安全属性中的保密性、认证性进行了验证,分析了对应的验证结果。实验结果表明,访问状态数、转换状态数、状态转换时间参数均正常,反例个数为0,验证了RSSP-Ⅱ 在密钥服务和对等实体认证过程的安全性。

铁路信号安全通信协议中的MAC改进算法

改进铁路信号安全通信协议II(RSSP-II)中的ER层消息验证码(MAC)算法,将高级加密标准作为MAC的核心算法,使用密文分组链接方式对报文加解密,并将其运用到CTCS-3列控系统临时限速服务器测试平台的RSSP-II仿真测试中。结果表明,改进算法能够克服原算法存在的弱密钥、半弱密钥等安全隐患,具有更强的安全性与实时性。

《RSSP-Ⅱ》安全通信协议在RBC/CBI接口中的特殊点

《RSSP-II》安全通信协议是一个总体规范,并不能直接指导软件人员编码实现,结合此规范在无线闭塞中心(RBC)与计算机联锁(CBI)接口中具体应用,提出一些特殊之处的设置及使用方法。