文章基本信息

标题：Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System
本地全文：下载
作者：Xihui Chen ; Gabriele Lenzini ; Sjouke Mauw 等
期刊名称：Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
印刷版ISSN：2093-5374
电子版ISSN：2093-5382
出版年度：2013
卷号：4
期号：1
页码：55-75
出版社：Innovative Information Science & Technology Research Group
摘要：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, re- quires 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
关键词：location privacy; electronic toll pricing; group signature; formal analysis; unlinkability