高级检索

    基于同意的隐私访问控制模型及TLA+描述与验证

    Consent-based Access Control Model for Privacy-preserving and Its TLA+ Description and Verification

    • 摘要: 随着各类应用平台广泛收集与共享个人数据,隐私侵犯和数据泄露的风险显著增加. 为防止隐私数据被恶意访问或滥用,数据收集者需保障用户对个人数据的明确同意与可控权. 当前主流做法是将同意与数据处理目的绑定,但仍存在若干不足: 基于目的的同意推理缺乏明确语义,忽视目的与平台业务逻辑的关联,且缺乏有效的冲突解决机制,导致难以获得有效同意. 为此,本文提出一种基于同意的访问控制模型,将同意权限纳入访问决策过程,将所有处理个人数据的操作视为“为特定目的服务的动作”. 在语义上,把“目的”定义为动作的前提条件或执行效果,并将动作的同意映射为用户授权,从而在目的—动作—同意之间建立明确的语义链路. 遵循最小权限和拒绝优先原则,提出针对目的层次结构的非对称同意继承规则并给出同意计算方法. 用TLA+对模型进行形式化描述,并通过模型检测验证若干关键安全性质. 实验结果表明,与代表性方法相比,所提出的同意计算能有效解决同意冲突并获得更优结果.

       

      Abstract: As personal data have been widely collected and shared by various application platforms, the risks of privacy intrusion and data breaches have been substantially increased. To prevent malicious access to or misuse of private data, explicit user consent and controllability over personal data are required to be ensured by data collectors. The mainstream approach of binding consent to data-processing purposes, however, still exhibits several shortcomings: purpose-based consent reasoning is deprived of clear semantics, the association between purposes and platform business logic is overlooked, and effective mechanisms for conflict resolution are lacking, making it difficult for valid consent to be obtained. To address these issues, a consent-based access control model is proposed, in which consent permissions are incorporated into access-decision processes and all operations that process personal data are regarded as actions performed for specific purposes. Semantically, a “purpose” is defined as a precondition or an effect of an action, and action consent is mapped to user authorization, thereby establishing an explicit semantic linkage among purpose, action, and consent. Following the principles of least privilege and deny-by-default, asymmetric consent-inheritance rules over purpose hierarchies are proposed and a consent-computation method is provided. The model is formalized using TLA+, and several key security properties are verified through model checking. Experimental results indicate that, compared with representative methods, the proposed consent computation more effectively resolves consent conflicts and yields superior outcomes.

       

    /

    返回文章
    返回