Back to Search
Start Over
Formal Analysis of Privacy for Vehicular Mix-Zones.
- Source :
- Computer Security - Esorics 2010; 2010, p55-70, 16p
- Publication Year :
- 2010
-
Abstract
- Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehicle to be tracked. Mix-zones, where vehicles encrypt their transmissions and then change their identifiers, have been proposed as a solution to this problem. In this work, we describe a formal analysis of mix-zones. We model a mix-zone and propose a formal definition of privacy for such a zone. We give a set of necessary conditions for any mix-zone protocol to preserve privacy. We analyse, using the tool ProVerif, a particular proposal for key distribution in mix-zones, the CMIX protocol. We show that in many scenarios it does not preserve privacy, and we propose a fix. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783642154966
- Database :
- Complementary Index
- Journal :
- Computer Security - Esorics 2010
- Publication Type :
- Book
- Accession number :
- 76851961
- Full Text :
- https://doi.org/10.1007/978-3-642-15497-3_4