[1] 吴昊,史小华,范絮妍,等.CTCS-3级列控系统车-地无线通信端到端通信安全增强技术的研究[J].铁道通信信号,2010,46(10):16-19.(WU H, SHI X H, FAN X Y, et al. Solution of end-to-end communication security enhancement in train-wayside wireless communication of CTCS-3 train control system[J]. Railway Signalling & Communication, 2010, 46(10):16-19.) [2] 马军,严建鹏.基于有色Petri网的RBC行车许可生成建模与仿真[J].城市轨道交通研究,2015(9):12-17.(MA J, YAN J P. Modeling and simulation for generation of RBC movement authority based on colored Petri nets[J]. Urban Mass Transit, 2015(9):12-17.) [3] 杨杰.3种对称加密算法在无线闭塞中心中的应用研究[J].自动化与仪器仪表,2017(4):135-137.(YANG J. Three kinds of symmetric encryption algorithm application in the center of the wireless occlusion[J]. Automation & Instrumentation, 2017(4):135-137.). [4] 中国铁路局.无线闭塞中心技术规范:TB/T 3330-2015[S].北京:中国铁路局,2015-06-24.(National Railway Administration of People's Republic of China. The technical specification of radio block center:TB/T 3330-2015[S]. Beijing:National Railway Administration of People's Republic of China, 2015-06-24.) [5] 任国彬.基于高级Petri网的高速列车追踪运行过程建模与分析[D].兰州:兰州交通大学,2015:5-10.(REN G B. Modelling and analysis of high-speed train tracking process based on high-level Petri net[D]. Lanzhou:Lanzhou Jiaotong University, 2015:5-10. [6] 袁崇义.Petri网应用[M].北京:科学出版社,2013:65-70.(YUAN C Y.The Application of Petri Net[M]. Beijing:Science Press, 2013:65-70.) [7] 唐涛,徐田华,赵林.列车运行控制系统规范建模与验证[M].北京:中国铁道出版社,2010:12-16.(TANG T, XU T H, ZHAO L. Formal Modeling and Verification of the Train Control System Requirements[M]. Beijing:China Railway Publishing House, 2010:12-16.) [8] ZAITSEV D A, SHMELEVA T R. A parametric colored Petri net model of a switched network[J]. International Journal of Communications, Network and System Sciences. 2011, 4(1):65-76. [9] British Standard Institution. Railway applications-communication, signalling and processing systems-safety-related communication in transmission systems:EN 50159-2010[S]. Brussels:CENELEC, 2010:6-9. [10] ALCATEL*ALSTOM*ANSALDO SIGNAL*BOMBARDIER*INVENSYS RAIL*SIEMENS. ERTMS/ETCS-Class 1:Subset-037 Version 2.3.0[S].[S. l.]:Euroradio FIS, 2005:27-33. [11] 张淼,耿宏亮.铁路信号安全通信协议中消息验证码算法的安全性分析和改进[J].铁路通信信号工程技术,2014,11(6):4-7,17.(ZHANG M, GENG H L. Security analysis and improvement of MAC in railway signal security communication protocol[J]. Railway Signalling & Communication Engineering,2014, 11(6):4-7, 17). [12] YU C Q, HOU W G, GUAN Y Y, et al. Virtual 5G Network embedding in a heterogeneous and multi-domain network infrastructure[J]. China Communications, 2016, 13(10):29-43. [13] 李伟,唐涛,王呈,等.无线通信延迟对城市轨道交通CBTC列车追踪间隔影响研究[J].铁道学报,2017,39(7):73-78.(LI W, TANG T, WANG C, et al. Research on influence of wireless communication delay on CBTC train headway of urban rail transit system[J]. Journal of the China Railway Society, 2017, 39(7):73-78.) [14] 梁耀,冯冬芹,徐珊珊,等.加密传输在工控系统安全中的可行性研究[J].自动化学报,2018,44(3):434-442.(LIANG Y, FENG D Q, XU S S, et al. Feasibility analysis of encrypted transmission on security of industrial control systems[J]. Acta Automatica Sinica, 2018, 44(3):434-442.) [15] SUN X X, YU H Q, LIANG H H, et al. Modeling and analyzing web application with aspect-oriented hierarchical coloured petri nets[J]. China Communications, 2016, 13(5):89-102. [16] PENG W S, ZHANG J G, ZHANG J Y. Novel dynamic evidential Petri net for system reliability analysis[J]. Journal of Systems Engineering and Electronics, 2017, 28(5):1019-1027. |