城轨计算机联锁的数据安全性验证
Data Safety Verification of Computer Interlocking in Urban Railway Signaling作者机构：北京交通大学电子信息工程学院北京100044
出 版 物：《铁道学报》 (Journal of the China Railway Society)
年 卷 期：2016年第38卷第8期
页 面：63-72页
核心收录：
学科分类：08[工学] 0802[工学-机械工程] 081201[工学-计算机系统结构] 082302[工学-交通信息工程及控制] 0812[工学-计算机科学与技术（可授工学、理学学位）] 0823[工学-交通运输工程] 0801[工学-力学（可授工学、理学学位）]
主 题：计算机联锁 城轨 数据安全 数据建模 安全性验证 进路防护
摘 要：数据关系着计算机联锁功能的正确实现,更关系到整个信号系统的安全完整性等级,对数据安全性的验证是城轨计算机联锁研发和应用中的关键环节。从数据安全在系统安全中的角色出发,对城轨计算机联锁中的数据进行数据结构建模,并导出数据之间安全性约束的关键规则,提出并证明以点点关系、点线关系和线线关系为基础的联锁数据安全性验证算法。以南京城轨某条线路为案例进行验证,相比传统的人工验证过程,验证效率得到明显提高。
维普期刊数据库
同方期刊数据库