Formal modeling and verification of CTCS-4 security protocol
HU Xiaohu · Computer Engineering and Applications Journal · 2014
The CTCS-4 is based on the wireless communication system GSM-R, while GSM-R is an open transmission system, it does not meet the demands of the train control system which is a safety critical system. In this paper, based on the existing security threats of the GSM-R and the safety measures should be adopted, an improved NSSK security protocol is used to protect the secure communications between the vehicle equipment and the RBC. Also modeling and verification the security protocol within the framework of CSP and its model-checking tool FDR.