A Formal Security Analysis of ERTMS Train to Trackside Protocols

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

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
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
CountryFrance
CityParis
Period28/06/1630/06/16