@inproceedings{veeningen:hal-01468177,
  TITLE = {{Symbolic Privacy Analysis through Linkability and Detectability}},
  AUTHOR = {Veeningen, Meilof and Weger, Benne De and Zannone, Nicola},
  URL = {https://inria.hal.science/hal-01468177},
  NOTE = {Part 1: Full Papers},
  BOOKTITLE = {{7th Trust Management (TM)}},
  ADDRESS = {Malaga, Spain},
  EDITOR = {Carmen Fern{\'a}ndez-Gago and Fabio Martinelli and Siani Pearson and Isaac Agudo},
  PUBLISHER = {{Springer}},
  SERIES = {Trust Management VII},
  VOLUME = {AICT-401},
  PAGES = {1-16},
  YEAR = {2013},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-38323-6\_1},
  PDF = {https://inria.hal.science/hal-01468177/file/978-3-642-38323-6_1_Chapter.pdf},
  HAL_ID = {hal-01468177},
  HAL_VERSION = {v1},
}