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 条
  • [31] Security and Privacy on Blockchain
    Zhang, Rui
    Xue, Rui
    Liu, Ling
    ACM COMPUTING SURVEYS, 2019, 52 (03)
  • [32] Privacy, democracy, and security
    Lever, Annabelle
    TPM-THE PHILOSOPHERS MAGAZINE, 2013, (63): : 99 - 105
  • [33] Security and Privacy Issues
    Nisar, Rida
    Sahar, Syeda Ghina
    2019 2ND INTERNATIONAL CONFERENCE ON COMPUTING, MATHEMATICS AND ENGINEERING TECHNOLOGIES (ICOMET), 2019,
  • [34] Security and privacy of blockchain
    Shen, Meng
    Gou, Gaopeng
    Xuan, Qi
    BLOCKCHAIN-RESEARCH AND APPLICATIONS, 2023, 4 (01):
  • [35] BALANCING PRIVACY AND SECURITY
    Bradbury, Steven G.
    HARVARD JOURNAL OF LAW AND PUBLIC POLICY, 2015, 38 (01): : 5 - 15
  • [36] Security, Privacy, and Scale
    Bellovin, Steven M.
    IEEE Security and Privacy, 2020, 18 (06): : 63 - 64
  • [37] Privacy and Data Security
    Gaff, Brian M.
    Smedinghoff, Thomas J.
    Sor, Socheth
    COMPUTER, 2012, 45 (03) : 8 - 10
  • [38] SPOTLIGHT ON PRIVACY AND SECURITY
    不详
    INFOSYSTEMS, 1979, 26 (06): : 32 - 32
  • [39] Wireless security & privacy
    Borse, M
    Shinde, H
    2005 IEEE INTERNATIONAL CONFERENCE ON PERSONAL WIRELESS COMMUNICATIONS, 2005, : 424 - 428
  • [40] SECURITY AND PRIVACY - INTRODUCTION
    LUNT, TF
    COOPER, DM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (11) : 1145 - 1145
12345