Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Logics for Security and Privacy
van der Torre, Leon
2012In 2012
Peer reviewed
 

Files


Full Text
empty_document.pdf
Publisher postprint (22.54 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
deontic logic in computer science
Abstract :
[en] In this presentation I first review new developments of deontic logic in computer science, then I discuss the use of dynamic epistemic deontic logic to reason about privacy policies, and finally I discuss the use of modal logic for access control. This presentation is based on joint work with Guillaume Aucher, Guido Boella, Jan Broersen, Dov Gabbay and Valerio Genovese.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-537
Author, co-author :
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Logics for Security and Privacy
Publication date :
2012
Event name :
26th Annual IFIP WG 11.3 Conference, DBSec 2012
Event place :
Paris, France
Event date :
26th Annual IFIP WG 11.3 Conference, DBSec 2012
Audience :
International
Main work title :
2012
Publisher :
Springer
ISBN/EAN :
978-3-642-31539-8
Pages :
1-7
Peer reviewed :
Peer reviewed
Commentary :
Data and Applications Security and Privacy XXVI
Available on ORBilu :
since 26 February 2016

Statistics


Number of views
66 (2 by Unilu)
Number of downloads
62 (0 by Unilu)

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

Bibliography


Similar publications



Contact ORBilu