A Formal Privacy Management Framework

被引：0
|
作者：
Le Metayer, Daniel [1 ]
机构：
[1] Inria Grenoble Rhone Alpes, Montbonnot St Martin, France
来源：
FORMAL ASPECTS IN SECURITY AND TRUST | 2009年 / 5491卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Privacy is a complex issue which cannot be handled by exclusively technical means. The work described in this paper results from a multidisciplinary project involving lawyers and computer scientists with the double goal to (1) reconsider the fundamental values motivating privacy protection and (2) study the conditions for a better protection of these values by a combination of legal and technical means. One of these conditions is to provide to the individuals effective ways to convey their consent to the disclosure of their personal data. This paper focuses on the formal framework proposed in the project to deliver this consent through software agents.
引用
收藏
页码：162 / 176
页数：15
相关论文
共 50 条
  • [1] A Framework for Formal Analysis of Privacy on SSO Protocols
    Wang, Kailong
    Bai, Guangdong
    Dong, Naipeng
    Dong, Jin Song
    [J]. SECURITY AND PRIVACY IN COMMUNICATION NETWORKS, SECURECOMM 2017, 2018, 238 : 763 - 777
  • [2] A formal framework for quantifying voter-controlled privacy
    Jonker, Hugo
    Mauw, Sjouke
    Pang, Jun
    [J]. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2009, 64 (2-3): : 89 - 105
  • [3] A Formal Framework for Consent Management
    Tokas, Shukun
    Owe, Olaf
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2020, 2020, 12136 : 169 - 186
  • [4] A Formal Framework for Patch Management
    Francia, Guillermo A.
    Kim, Kihyun
    Ahn, Byungoh
    Zhou, Sen Xin
    [J]. INTERNATIONAL JOURNAL OF INTERDISCIPLINARY TELECOMMUNICATIONS AND NETWORKING, 2013, 5 (02) : 18 - 31
  • [5] Privacy Care: A Tangible Interaction Framework for Privacy Management
    Mehta, Vikram
    Gooch, Daniel
    Bandara, Arosha
    Price, Blaine
    Nuseibeh, Bashar
    [J]. ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2021, 21 (01)
  • [6] A Formal Framework for Cooperative Logistics Management
    Satoh, Ichiro
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT II, 2012, 100 : 131 - 142
  • [7] Formal Privacy Analysis of Communication Protocols for Identity Management
    Veeningen, Melia
    de Weger, Benne
    Zannone, Nicola
    [J]. INFORMATION SYSTEMS SECURITY, 2011, 7093 : 235 - 249
  • [8] Recommender Systems for Privacy Management: A Framework
    Rasmussen, Curtis
    Dara, Rozita
    [J]. 2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE), 2014, : 243 - 244
  • [9] Policy framework for security and privacy management
    Karat, J.
    Karat, C. -M.
    Bertino, E.
    Li, N.
    Ni, Q.
    Brodie, C.
    Lobo, J.
    Calo, S. B.
    Cranor, L. F.
    Kumaraguru, P.
    Reeder, R. W.
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2009, 53 (02)
  • [10] Privacy Is The Best Policy: A Framework for BLE Beacon Privacy Management
    Bello-Ogunu, Emmanuel
    Shehab, Mohamed
    Miazi, Nazmus Sakib
    [J]. 2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2019, : 823 - 832
12345