Reference : Logics for Security and Privacy
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/24917
Logics for Security and Privacy
English
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
2012
Springer
1-7
Yes
International
978-3-642-31539-8
26th Annual IFIP WG 11.3 Conference, DBSec 2012
26th Annual IFIP WG 11.3 Conference, DBSec 2012
Paris
France
[en] deontic logic in computer science
[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.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/24917
10.1007/978-3-642-31540-4_1
http://link.springer.com/chapter/10.1007%2F978-3-642-31540-4_1
Data and Applications Security and Privacy XXVI

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
empty_document.pdfPublisher postprint22.02 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.