Abstract
We consider the problem of developing an abstract meta-model of access control in terms of which policies for protecting a principal's private information may be specified. Our concern is with developing the formal foundations of our conceptual model. For both the specific access control models and privacy policies, which may be defined in terms of the meta-model, we adopt a combining approach: we combine access control concepts to form the meta-model and we use a fibred logic for the formal foundations. Our approach enables data subjects to specify flexibly what access controls they wish to apply on their personal data and it provides a formal foundation for policies that are defined in terms of the meta-model. © 2010 IFIP International Federation for Information Processing.
Cite
CITATION STYLE
Barker, S., & Genovese, V. (2010). A logic of privacy. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6166 LNCS, pp. 17–32). https://doi.org/10.1007/978-3-642-13739-6_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
