Logics for Security and Privacy

被引：0

作者：

van der Torre, Leendert ^{[1
]}

机构：

[1] Univ Luxembourg, Comp Sci & Commun, Luxembourg, Luxembourg

来源：

DATA AND APPLICATIONS SECURITY AND PRIVACY XXVI | 2012年 / 7371卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：1 / 7

页数：7

共 50 条

[21] Reconciling privacy and security
van Lieshout, Marc
Friedewald, Michael
Wright, David
Gutwirth, Serge
INNOVATION-THE EUROPEAN JOURNAL OF SOCIAL SCIENCE RESEARCH, 2013, 26 (1-2) : 119 - 132
[22] Protecting security and privacy
Kohno, Tadayoshi
TECHNOLOGY REVIEW, 2007, 110 (05) : 36 - 36
[23] Security and the Claim to Privacy
Amoore, Louise
INTERNATIONAL POLITICAL SOCIOLOGY, 2014, 8 (01) : 108 - 112
[24] Preserving security and privacy
Stone, A
IEEE INTERNET COMPUTING, 2004, 8 (04) : 10 - 11
[25] Security and Privacy in VANETs
Kaibalina, Nazira
Rizvi, Mona A. E.
2018 IEEE 12TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT), 2018, : 202 - 207
[26] On Pikachu and Security and Privacy
Blake, M. Brian
IEEE INTERNET COMPUTING, 2016, 20 (05) : 4 - 4
[27] SECURITY & PRIVACY MAGAZINE
Ebling, Maria R.
IEEE PERVASIVE COMPUTING, 2015, 14 (01) : 6 - 7
[28] On the Security and Privacy of ACARS
Smith, Matt
Strohmeier, Martin
Lenders, Vincent
Martinovic, Ivan
2016 INTEGRATED COMMUNICATIONS NAVIGATION AND SURVEILLANCE (ICNS), 2016,
[29] Security and Privacy in the Metaverse
Roesner, Franziska
Kohno, Tadayoshi
IEEE SECURITY & PRIVACY, 2024, 22 (01) : 7 - 9
[30] Privacy and security as ideology
Stahl, Bernd Carsten
IEEE TECHNOLOGY AND SOCIETY MAGAZINE, 2007, 26 (01) : 35 - 45

← 1 2 3 4 5 →