Symbolic Privacy Analysis through Linkability and Detectability

Meilof Veeningen, Benne de Weger, Nicola Zannone. Symbolic Privacy Analysis through Linkability and Detectability. In M. Carmen Fernández Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo, editors, Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings. Volume 401 of IFIP Advances in Information and Communication Technology, pages 1-16, Springer, 2013. [doi]

@inproceedings{VeeningenWZ13,
  title = {Symbolic Privacy Analysis through Linkability and Detectability},
  author = {Meilof Veeningen and Benne de Weger and Nicola Zannone},
  year = {2013},
  doi = {10.1007/978-3-642-38323-6_1},
  url = {http://dx.doi.org/10.1007/978-3-642-38323-6_1},
  researchr = {https://researchr.org/publication/VeeningenWZ13},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {Trust Management VII - 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings},
  editor = {M. Carmen Fernández Gago and Fabio Martinelli and Siani Pearson and Isaac Agudo},
  volume = {401},
  series = {IFIP Advances in Information and Communication Technology},
  publisher = {Springer},
  isbn = {978-3-642-38322-9},
}