Language-Based Enforcement of Privacy Policies

Katia Hayati, Martín Abadi. Language-Based Enforcement of Privacy Policies. In David Martin, Andrei Serjantov, editors, Privacy Enhancing Technologies, 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers. Volume 3424 of Lecture Notes in Computer Science, pages 302-313, Springer, 2004. [doi]

@inproceedings{HayatiA04,
  title = {Language-Based Enforcement of Privacy Policies},
  author = {Katia Hayati and Martín Abadi},
  year = {2004},
  doi = {10.1007/11423409_19},
  url = {http://dx.doi.org/10.1007/11423409_19},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/HayatiA04},
  cites = {0},
  citedby = {0},
  pages = {302-313},
  booktitle = {Privacy Enhancing Technologies, 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers},
  editor = {David Martin and Andrei Serjantov},
  volume = {3424},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26203-2},
}