Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements
Ioannis Agrafiotis‚ Sadie Creese‚ Michael Goldsmith and Nick Papanikolaou
Book Title
Privacy and Identity Management for Life
Pages
271–282
Publisher
Springer IFIP AICT
Volume
352
Year
2011