A Formal Security Analysis of ERTMS Train to Trackside Protocols

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

A Formal Security Analysis of ERTMS Train to Trackside Protocols. / Chothia, Tom; De Ruiter, Joeri; Thomas, Richard J.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer, 2016. p. 53-68 Chapter 4 (Lecture Notes in Computer Science; Vol. 9707).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Chothia, T, De Ruiter, J & Thomas, RJ 2016, A Formal Security Analysis of ERTMS Train to Trackside Protocols. in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification., Chapter 4, Lecture Notes in Computer Science, vol. 9707, Springer, pp. 53-68, RSSRail 2016, First International Conference, Paris, France, 28/06/16. https://doi.org/10.1007/978-3-319-33951-1_4

APA

Chothia, T., De Ruiter, J., & Thomas, R. J. (2016). A Formal Security Analysis of ERTMS Train to Trackside Protocols. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (pp. 53-68). [Chapter 4] (Lecture Notes in Computer Science; Vol. 9707). Springer. https://doi.org/10.1007/978-3-319-33951-1_4

Vancouver

Chothia T, De Ruiter J, Thomas RJ. A Formal Security Analysis of ERTMS Train to Trackside Protocols. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer. 2016. p. 53-68. Chapter 4. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-33951-1_4

Author

Chothia, Tom ; De Ruiter, Joeri ; Thomas, Richard J. / A Formal Security Analysis of ERTMS Train to Trackside Protocols. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer, 2016. pp. 53-68 (Lecture Notes in Computer Science).

Bibtex

@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",

}

RIS

TY - GEN

T1 - A Formal Security Analysis of ERTMS Train to Trackside Protocols

AU - Chothia, Tom

AU - De Ruiter, Joeri

AU - Thomas, Richard J.

PY - 2016/6/15

Y1 - 2016/6/15

U2 - 10.1007/978-3-319-33951-1_4

DO - 10.1007/978-3-319-33951-1_4

M3 - Conference contribution

SN - 978-3-319-33950-4

T3 - Lecture Notes in Computer Science

SP - 53

EP - 68

BT - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

PB - Springer

T2 - RSSRail 2016, First International Conference

Y2 - 28 June 2016 through 30 June 2016

ER -