@inproceedings{barker:hal-01056671,
  TITLE = {{A Logic of Privacy}},
  AUTHOR = {Barker, Steve and Genovese, Valerio},
  URL = {https://inria.hal.science/hal-01056671},
  BOOKTITLE = {{24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC)}},
  ADDRESS = {Rome, Italy},
  EDITOR = {Sara Foresti; Sushil Jajodia},
  PUBLISHER = {{Springer}},
  SERIES = {Data and Applications Security and Privacy XXIV},
  VOLUME = {LNCS-6166},
  PAGES = {17-32},
  YEAR = {2010},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-13739-6\_2},
  PDF = {https://inria.hal.science/hal-01056671/file/_61.pdf},
  HAL_ID = {hal-01056671},
  HAL_VERSION = {v1},
}