KIT | KIT-Bibliothek | Impressum | Datenschutz

P4TC - Provably-Secure yet Practical Privacy-Preserving Toll Collection

Fetzer, Valerie ORCID iD icon; Hoffmann, Max; Nagel, Matthias; Rupp, Andy; Schwerdt, Rebecca

Abstract (englisch):

Electronic toll collection (ETC) is widely used all over the world not only to finance our road infrastructures, but also to realize advanced features like congestion management and pollution reduction by means of dynamic pricing. Unfortunately, existing systems rely on user identification and allow tracing a user’s movements. Several abuses of this personalized location data have already become public. In view of the planned Europeanwide interoperable tolling system EETS and the new EU General Data Protection Regulation, location privacy becomes of particular importance.

In this paper, we propose a flexible security model and crypto protocol framework designed for privacy-preserving toll collection in the most dominant setting, i.e., Dedicated Short Range Communication (DSRC) ETC. A major challenge in designing the framework at hand was to combine provable security and practicality, where the latter includes practical performance figures and a suitable treatment of real-world issues, like broken onboard units etc. To the best of our knowledge, our work is the first in the DSRC setting with a rigorous security model and proof and arguably the most comprehensive formal treatment of ETC security and privacy overall. ... mehr


Verlagsausgabe §
DOI: 10.5445/IR/1000122915/pub
Postprint §
DOI: 10.5445/IR/1000122915
Originalveröffentlichung
DOI: 10.2478/popets-2020-0046
Dimensions
Zitationen: 8
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2020
Sprache Englisch
Identifikator ISSN: 2299-0984
KITopen-ID: 1000122915
Erschienen in Proceedings on privacy enhancing technologies
Verlag De Gruyter
Band 2020
Heft 3
Seiten 62-152
Projektinformation GRK 2153/1 (DFG, DFG KOORD, GRK 2153/1)
CyPhyCrypt (DFG, DFG EIN, RU 1664/3-1)
KASTEL_SVI (BMBF, 16KIS0521)
KASTEL_SKI (BMBF, 16KIS0843)
Vorab online veröffentlicht am 17.08.2020
Schlagwörter Toll Collection; Privacy; Cyber-Physical Systems; Provable Security; Real-World Crypto; Universal Composability
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page