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

by Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
Venue:Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA