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 条
  • [41] Geospatial Privacy and Security
    McKenzie, Grant
    Kessler, Carsten
    Andris, Clio
    JOURNAL OF SPATIAL INFORMATION SCIENCE, 2019, (19): : 53 - 55
  • [42] IEEE Security & Privacy
    不详
    IEEE MICRO, 2022, 42 (02) : 84 - 84
  • [43] COMPUTER SECURITY AND PRIVACY
    HSIAO, DK
    NAVAL RESEARCH REVIEWS, 1978, 31 (01): : 21 - 26
  • [44] Security and privacy - Commentary
    Perrott, D
    INTERNATIONAL JOURNAL OF ORAL AND MAXILLOFACIAL SURGERY, 2001, 30 (05) : 461 - 462
  • [45] COMPUTER PRIVACY AND SECURITY
    CAMPAIGNE, H
    HOFFMAN, LJ
    COMPUTERS AND AUTOMATION, 1973, 22 (07): : 12 - 17
  • [46] RFID Security and Privacy
    1600, Morgan and Claypool Publishers (04):
  • [47] Security versus Privacy
    Farokhi, Farhad
    Esfahani, Peyman Mohajerin
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 7101 - 7106
  • [48] Security and Privacy in WSN
    Dandekar, Sujay
    Kadam, Shashank S.
    Choudhary, Ria N.
    Bardhan, Debjeet
    Kadam, Rohita R.
    PROCEEDINGS OF THE 2018 3RD INTERNATIONAL CONFERENCE ON INVENTIVE COMPUTATION TECHNOLOGIES (ICICT 2018), 2018, : 514 - 516
  • [49] SECURITY AND PRIVACY - INTRODUCTION
    BERSON, TA
    LIPNER, SB
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (06) : 561 - 562
  • [50] Untangling Security and Privacy
    van Oorschot, Paul C.
    IEEE SECURITY & PRIVACY, 2020, 18 (02) : 4 - 6
12345