Formal Analysis of Privacy for Vehicular Mix-Zones

Morten Dahl, Stéphanie Delaune, Graham Steel

Research output: Contribution to journalConference article in JournalResearchpeer-review

27 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume6345
Pages (from-to)55-70
ISSN0302-9743
DOIs
Publication statusPublished - 2010
Event15th European Symposium on Research in Computer Security, ESORICS 2010 - Athen, Greece
Duration: 20 Sep 201022 Sep 2010
Conference number: 15th

Conference

Conference15th European Symposium on Research in Computer Security, ESORICS 2010
Number15th
CountryGreece
CityAthen
Period20/09/201022/09/2010
Other<br/>

Cite this

Dahl, Morten ; Delaune, Stéphanie ; Steel, Graham. / Formal Analysis of Privacy for Vehicular Mix-Zones. In: Lecture Notes in Computer Science. 2010 ; Vol. 6345. pp. 55-70.
@inproceedings{6f25cee7ae9c44409819648b130c5211,
title = "Formal Analysis of Privacy for Vehicular Mix-Zones",
author = "Morten Dahl and St{\'e}phanie Delaune and Graham Steel",
year = "2010",
doi = "10.1007/978-3-642-15497-3_4",
language = "English",
volume = "6345",
pages = "55--70",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Formal Analysis of Privacy for Vehicular Mix-Zones. / Dahl, Morten; Delaune, Stéphanie; Steel, Graham.

In: Lecture Notes in Computer Science, Vol. 6345, 2010, p. 55-70.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - Formal Analysis of Privacy for Vehicular Mix-Zones

AU - Dahl, Morten

AU - Delaune, Stéphanie

AU - Steel, Graham

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-15497-3_4

DO - 10.1007/978-3-642-15497-3_4

M3 - Conference article in Journal

VL - 6345

SP - 55

EP - 70

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -