No full text
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Logic of Privacy
Barker, Steve; Genovese, Valerio
2010In Data and Applications Security and Privacy XXIV
 

Files


Full Text
No document available.

Send to



Details



Abstract :
[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.
Disciplines :
Engineering, computing & technology: Multidisciplinary, general & others
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-076
Author, co-author :
Barker, Steve
Genovese, Valerio ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
A Logic of Privacy
Publication date :
2010
Event name :
24th Annual IFIP WG 11.3 Working Conference
Event place :
Rome, Italy
Event date :
June 21-23, 2010
Main work title :
Data and Applications Security and Privacy XXIV
ISBN/EAN :
978-3-642-13738-9
Collection name :
Lecture Notes in Computer Science, 6166
Pages :
17–32
Available on ORBilu :
since 18 March 2014

Statistics


Number of views
37 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
1
OpenCitations
 
1

Bibliography


Similar publications



Contact ORBilu