@inproceedings{5557,
  title = "Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation",
  author = "I. Agrafiotis, S. Creese, M. Goldsmith",
  year = "2011",
  booktitle = "Proceedings of the IFIP Summer School 2011",
  month = "September",
}