Formal Analysis of Privacy for Vehicular Mix-Zones
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 55-70
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- SLOW: A Practical pseudonym changing scheme for location privacy in VANETs2009
- Verifying privacy-type properties of electronic voting protocolsJournal of Computer Security, 2009
- Automated verification of selected equivalences for security protocolsThe Journal of Logic and Algebraic Programming, 2008
- Untraceability of RFID Protocols2008
- On the Effectiveness of Changing Pseudonyms to Provide Location Privacy in VANETs2007
- Privacy Issues in Vehicular Ad Hoc Networks2006
- The security of vehicular ad hoc networks2005
- Location privacy in pervasive computingIEEE Pervasive Computing, 2003
- CSP and anonymity1996