Reference : A Logic of Privacy
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Engineering, computing & technology : Multidisciplinary, general & others
http://hdl.handle.net/10993/16074
A Logic of Privacy
English
Barker, Steve [> >]
Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
Data and Applications Security and Privacy XXIV
Lecture Notes in Computer Science, 6166
17–32
No
978-3-642-13738-9
24th Annual IFIP WG 11.3 Working Conference
June 21-23, 2010
Rome
Italy
[en] 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.
http://hdl.handle.net/10993/16074
10.1007/978-3-642-13739-6_2

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.