This paper presents IFAL, a provably secure and privacy conscious scheme for Vehicle-to-Vehicle and Vehicle-to-Infrastructure (V2X) communication. Issue First Activate Later (IFAL) is a practical and secure improvement to the leading European candidate for V2X (ETSI) and one that also merits over the leading US standard. IFAL incorporates a novel cryptographic mechanism that both avoids the need for certificate revocation and which supports vehicles with limited and intermittent connectivity. We introduce a new construction that is equivalent to symmetric key diversification in the public key setting with short, time-delayed activation. We also present a new formalisation of V2X security and privacy which we apply to IFAL to show that it is a provably secure and privacy conscious V2X scheme. IFAL is ETSI compliant and ready for integration into the standard.
IFAL: Issue First Activate Later Certificates for V2X
E. Verheul,Christopher Hicks,Flavio D. Garcia
Published 2019 in European Symposium on Security and Privacy
ABSTRACT
PUBLICATION RECORD
- Publication year
2019
- Venue
European Symposium on Security and Privacy
- Publication date
2019-06-01
- Fields of study
Computer Science, Engineering
- Identifiers
- External record
- Source metadata
Semantic Scholar
CITATION MAP
EXTRACTION MAP
CLAIMS
- No claims are published for this paper.
CONCEPTS
- No concepts are published for this paper.
REFERENCES
Showing 1-44 of 44 references · Page 1 of 1
CITED BY
Showing 1-33 of 33 citing papers · Page 1 of 1