Applying formal methods to describe the privacy−control requirements in real case−study scenario: emerging ambiguities and proposed solutions
N. Papanikolaou I. Agrafiotis S. Creese M. Goldsmith
Book Title
Proceedings of 2010 IFIP/PrimeLife Summer School
Year
2010