基于 WLAN 的 CBTC 系统中安全通信协议设计与验证

摘要

In recent years,communication based train control (CBTC)system based on WLAN has been used more and more widely in city rail transit.CBTC system belongs to the safety critical system while the wireless communication subsystem using WLAN technology is an open trans-mission system,and it is easy interfered by various uncertain factors when the information is transmitted.To ensure the safe and reliable transmission of security related data,a type of CBTC communication protocol with safe-protection is designed.The model of CBTC security communi-cation protocol is described by the formal modeling language colored Petri net (CPN).The result verified by state space analysis method shows that the designed protocol is correct and it can meet the application requirements of CBTC system.%近年来，基于 WLAN 的 CBTC（communication based train control，基于通信的列车运行控制）系统在城市轨道交通中的应用日益广泛．CBTC 系统属于安全苛求系统，而基于 WLAN 技术的无线通信子系统属于开放传输系统，信息在传输过程中容易受各种未知因素的干扰．为了确保相关数据的安全可靠传输，完成了一种具有安全防护功能的 CBTC 通信协议的设计．运用形式化建模语言 CPN（colored Petri net，有色 Petri 网）对所设计的协议进行了建模描述．状态空间分析法验证结果表明所设计的协议正确，能够满足 CBTC 系统的应用需求．