@inproceedings{5ca4d294110649f183d28137c8d4b969,
title = "A Formal Security Analysis of ERTMS Train to Trackside Protocols",
author = "Tom Chothia and {De Ruiter}, Joeri and Thomas, {Richard J.}",
year = "2016",
month = jun,
day = "15",
doi = "10.1007/978-3-319-33951-1_4",
language = "English",
isbn = "978-3-319-33950-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "53--68",
booktitle = "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification",
note = "RSSRail 2016, First International Conference ; Conference date: 28-06-2016 Through 30-06-2016",
}