A Formal Security Analysis of ERTMS Train to Trackside Protocols

First Author: De Ruiter J


No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-33951-1_4

Publication URI: http://dx.doi.org/10.1007/978-3-319-33951-1_4

Type: Book Chapter

Book Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2016)

Page Reference: 53-68

ISSN: 1436-3798