Formal Analysis of Privacy for Vehicular MixZones. In (2010)

by Morten Dahl, Stephanie Delaune, Graham Steel
Venue:ESORICS’10: 15th European Symposium on Research in Computer Security,