Electronic International Standard Serial Number (EISSN)
In this study, the authors introduce a highly dynamic and manageable average speed monitoring system. They define a privacy preserving security protocol in which vehicles hold a pseudonymous non-traceable private digital identity. Vehicle's identity is kept undisclosed for as long as the average speed over a designated road section does not exceed the specified limit. During the protocol execution, non-refutable evidences are built for vehicles and authorities, for future disputes. Finally, the security properties of the protocol are formally proven using BAN logic and, a metric is defined to measure the reliability and feasibility of the author's proposal.