Skip to main content

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