Policy Refinement Checking

by Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith
Abstract:
We introduce refinement checking for privacy policies expressed in P3P. Our method involves a translation of privacy policies to a set of process specifications in CSP, which describe how the privacy policy is enforced. The technique is described through an example involving medical data collected by a biobank.
Reference:
Policy Refinement Checking (Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith), In Proceedings of Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 09), 2009.
Bibtex Entry:
@INPROCEEDINGS{Papanikolaou2009b,
  author = {Nikolaos Papanikolaou and Sadie Creese and Michael Goldsmith},
  title = {Policy Refinement Checking},
  booktitle = {Proceedings of Ninth International Workshop on Automated Verification
	of Critical Systems (AVoCS 09)},
  year = {2009},
  address = {Swansea University},
  month = sep,
  abstract = {We introduce refinement checking for privacy policies expressed in
	P3P. Our method involves a translation of privacy policies to a set
	of process specifications in CSP, which describe how the privacy
	policy is enforced. The technique is described through an example
	involving medical data collected by a biobank.},
  owner = {Nick},
  timestamp = {2010.06.20},
  url = {../files/polrefc-avocs.pdf}
}