Logics for Security and Privacy

Reference : Logics for Security and Privacy


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/24917

Title :	Logics for Security and Privacy
Language :	English
Author, co-author :	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2012
Main document title :	2012
Publisher :	Springer
Pages :	1-7
Peer reviewed :	Yes
Audience :	International
ISBN :	978-3-642-31539-8
Event name :	26th Annual IFIP WG 11.3 Conference, DBSec 2012
Event date :	26th Annual IFIP WG 11.3 Conference, DBSec 2012
Event place (city) :	Paris
Event country :	France
Keywords :	[en] 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.
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/24917
DOI :	10.1007/978-3-642-31540-4_1
Other URL :	http://link.springer.com/chapter/10.1007%2F978-3-642-31540-4_1
Commentary :	Data and Applications Security and Privacy XXVI

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	empty_document.pdf		Publisher postprint	22.02 kB	View/Open

All documents in ORBi^lu are protected by a user license.