%0 Conference Proceedings
%T Developing a Strategy for Automated Privacy Testing Suites
%+ Department of Computer Science
%A Agrafiotis, Ioannis
%A Creese, Sadie
%A Goldsmith, Michael
%Z Part 2: Privacy Metrics and Comparison
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 7th PrimeLife International Summer School (PRIMELIFE)
%C Trento, Italy
%Y Jan Camenisch
%Y Bruno Crispo
%Y Simone Fischer-Hübner
%Y Ronald Leenes
%Y Giovanni Russello
%I Springer
%3 Privacy and Identity Management for Life
%V AICT-375
%P 32-44
%8 2011-09-05
%D 2011
%R 10.1007/978-3-642-31668-5_3
%Z Computer Science [cs]Conference papers
%X This paper describes a strategy to develop automated privacy testing suites to assess the correctness of consent and revocation (C&R) controls offered to users by an EnCoRe system. This strategy is based on a formal language in order to provide rigorous and unambiguous consent and revocation specifications, and comprises of two novel procedures that facilitate the process of eliciting testing requirements for privacy properties and creating automated privacy-testing suites. We demonstrate the effectiveness of the strategy by describing our application of the method to a realistic case study, although space limitations preclude a complete presentation.
%G English
%2 https://inria.hal.science/hal-01517596/document
%2 https://inria.hal.science/hal-01517596/file/978-3-642-31668-5_3_Chapter.pdf
%L hal-01517596
%U https://inria.hal.science/hal-01517596
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC9
%~ IFIP-TC11
%~ IFIP-WG9-2
%~ IFIP-WG9-6
%~ IFIP-WG11-7
%~ IFIP-WG11-4
%~ IFIP-WG11-6
%~ IFIP-PRIMELIFE
%~ IFIP-AICT-375