A Formal Security Analysis of ERTMS Train to Trackside Protocols

Tom Chothia, Joeri De Ruiter, Richard J. Thomas

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

3 Citations (Scopus)
235 Downloads (Pure)
Original languageEnglish
Title of host publicationReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
PublisherSpringer
Pages53-68
ISBN (Electronic)978-3-319-33951-1
ISBN (Print)978-3-319-33950-4
DOIs
Publication statusPublished - 15 Jun 2016
EventRSSRail 2016, First International Conference - Paris, France
Duration: 28 Jun 201630 Jun 2016

Publication series

NameLecture Notes in Computer Science
Volume9707
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceRSSRail 2016, First International Conference
Country/TerritoryFrance
CityParis
Period28/06/1630/06/16

Cite this