Design and Formal Analysis of
A Group Signature Based Electronic Toll Pricing System 

Xihui Chen1+, Gabriele Lenzini1, Sjouke Mauw1, 2, and Jun Pang Al Ebri2

 
1Interdisciplinary Centre for Security, Reliability and Trust
University of Luxembourg, Luxembourg

{xihui.chen, gabriele.lenzini}@uni.lu

2Faculty of Science, Technology and Communication
University of Luxembourg, Luxembourg

{sjouke.mauw, jun.pang}@uni.lu

 

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, we give a comprehensive formal analysis of GroupETP. Our analysis, conducted by ProVerif, requires some abstraction of the system and extensions to the existing analysis methods. The results show that GroupETP satisfies the desired properties - correctness, accountability and unlinkability.

 

Keywords: location privacy, electronic toll pricing, group signature, formal analysis, unlinkability

 

+: Corresponding author: Xihui Chen

He is supported by the National Research Fund, Luxembourg (SECLOC 794361), and the corresponding author:
Interdisciplinary Centre for Security, Reliability and Trust, 6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg,
Tel: +3524666445806, Fax: +3524666445741, Web: http://satoss.uni.lu/members/xihui/ 
 

Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA),

Vol. 4, No. 1, pp. 55-75, March 2013 [pdf]