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

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, the authors 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, they give a comprehensive formal analysis of GroupETP. Their analysis, conducted by ProVerif, requires some abstraction of the system and extensions to the existing analysis methods.

Provided by: University of Luton Topic: Security Date Added: Mar 2013 Format: PDF

Find By Topic