Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith. Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation. In Jan Camenisch, Bruno Crispo, Simone Fischer-Hübner, Ronald Leenes, Giovanni Russello, editors, Privacy and Identity Management for Life - 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers. Volume 375 of IFIP Advances in Information and Communication Technology, pages 232-244, Springer, 2011. [doi]
Abstract is missing.