Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Page :
sorted by
Image document

Developing a Strategy for Automated Privacy Testing Suites

 Ioannis Agrafiotis , Sadie Creese , Michael Goldsmith
7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.32-44, ⟨10.1007/978-3-642-31668-5_3⟩
Conference papers hal-01517596v1
Image document

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

 Ioannis Agrafiotis , Sadie Creese , Michael Goldsmith , Nick Papanikolaou
6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. pp.271-282, ⟨10.1007/978-3-642-20769-3_22⟩
Conference papers hal-01559472v1
Image document

Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation

 Ioannis Agrafiotis , Sadie Creese , Michael Goldsmith
7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.232-244, ⟨10.1007/978-3-642-31668-5_18⟩
Conference papers hal-01517594v1
Image document

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data

 Ioannis Agrafiotis , Sadie Creese , Michael Goldsmith , Nick Papanikolaou
5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School(PRIMELIFE), Sep 2009, Nice, France. pp.246-258, ⟨10.1007/978-3-642-14282-6_20⟩
Conference papers hal-01061066v1
Page :