中图分类号：TP399 文献标志码：A 文章编号： 1000-5013（2026）02-0136-10

Abstract：Based on the ever-growing intelligent requirements and security verification challenges of railway interlocking systems（试读）...