Design and formal analysis of a group signature based electronic toll pricing system

Interdisciplinary Research Group in Socio-technical Cybersecurity

Design and formal analysis of a group signature based electronic toll pricing system

Chen Xihui, Lenzini Gabriele, Mauw Sjouke, Pang Jun
Abstract:
Location-based vehicle services have been enduring a rapid growth with the prevalence of GNSS technologies, nowadays freely available for everyone. Given the nature of location data, privacy is of prime importance in services such as electronic tolling pricing (ETP) and pay-as-you-drive. In this paper, we first propose a new electronic toll pricing system based on group signatures – GroupETP which achieves a good balance between privacy and overhead imposed upon user devices. Second, wegiveacomprehensiveformalanalysisof GroupETP.Ouranalysis,conductedbyProVerif,requires someabstractionofthesystemandextensionstotheexistinganalysismethods. Theresultsshowthat GroupETP satisfies the desired properties – correctness, accountability and unlinkability.
Authors:
Chen Xihui, Lenzini Gabriele, Mauw Sjouke, Pang Jun
Publication date:
2013
Published in:
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
Reference:
Chen, X., Lenzini, G., Mauw, S., & Pang, J. (2013). Design and formal analysis of a group signature based electronic toll pricing system. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 4(1), 55-75.

Get in touch with us

SnT – Interdisciplinary Centre for Security, Reliability and Trust
29, Avenue J.F Kennedy L-1855 Luxembourg
info-irisc-lab@uni.lu