Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou. Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. In Simone Fischer-Hübner, Penny Duquenoy, Marit Hansen, Ronald Leenes, Ge Zhang, editors, Privacy and Identity Management for Life - 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers. Volume 352 of IFIP Advances in Information and Communication Technology, pages 271-282, Springer, 2010. [doi]
Abstract is missing.