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 条
  • [1] Logics for authorizations and security
    Bonatti, PA
    Samarati, P
    LOGICS FOR EMERGING APPLICATIONS OF DATABASES, 2004, : 277 - 323
  • [2] Usable Security and Privacy for Security and Privacy Workers
    Zurko, Mary Ellen
    Haney, Julie
    IEEE SECURITY & PRIVACY, 2023, 21 (01) : 8 - 10
  • [3] The logics of war and food (in)security
    Kemmerling, Birgit
    Schetter, Conrad
    Wirkus, Lars
    GLOBAL FOOD SECURITY-AGRICULTURE POLICY ECONOMICS AND ENVIRONMENT, 2022, 33
  • [4] Security and Privacy
    Dutta, Ashutosh
    Hammad, Eman
    Enright, Michael
    Behmann, Fawzi
    Chorti, Arsenia
    Cheema, Ahmad
    Kadio, Kassi
    Urbina-Pineda, Julia
    Alam, Khaled
    Limam, Ahmed
    Chu, Fred
    Lester, John
    Park, Jong-Geun
    Bio-Ukeme, Joseph
    Pawar, Sanjay S.
    Layton, Roslyn
    Ramchandran, Prakash
    Okonkwo, Kingsley
    Ong, Lyndon
    Emmelmann, Marc
    Issa, Omneya
    Arul, Rajakumar
    Malik, Sireen
    Krishnan, Sivarama
    Sugumar, Suresh
    Lala, Tk
    Borst, Matthew
    Kloza, Brad
    2022 IEEE FUTURE NETWORKS WORLD FORUM, FNWF, 2022,
  • [5] Security and privacy
    Geer, D
    Gong, L
    Ranum, M
    Neuman, C
    Zurko, ME
    IEEE CONCURRENCY, 2000, 8 (02): : 70 - 79
  • [6] Security and Privacy
    Davies, N
    IEEE PERVASIVE COMPUTING, 2003, 2 (01) : 20 - 20
  • [7] Privacy and security
    Moglen, Eben
    Communications of the ACM, 2013, 56 (02) : 20 - 22
  • [8] Security and Privacy
    Dutta, Ashutosh
    Hammad, Eman
    Enright, Michael A.
    Chorti, Arsenia
    Pawar, Sanjay S.
    Urbina-Pineda, Julia
    Kurt, Gunes Karabulut
    Cheema, Ahmad Raza
    Taha, Sajid
    Chng, Baw
    Rawal, Bharat S.
    de Carvalho, Glaucio H. S.
    2023 IEEE FUTURE NETWORKS WORLD FORUM, FNWF, 2024,
  • [9] Privacy and Security
    Consolvo, Sunny
    Hong, Jason
    Langheinrich, Marc
    IEEE PERVASIVE COMPUTING, 2015, 14 (01) : 16 - 17
  • [10] Security & privacy
    Hong, Jason
    Satyanarayan, Mahadev
    Cybenko, George
    IEEE PERVASIVE COMPUTING, 2007, 6 (04) : 15 - 17
12345