A Formal Security Analysis of ERTMS Train to Trackside Protocols
Attributed to:
SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control Systems
funded by
EPSRC
Abstract
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