高级检索

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

    Consent-Based Access Control Model for Privacy-Preserving and Its TLA+ Description and Verification

    • 摘要: 为防范隐私数据被恶意访问与滥用,数据收集方需保障用户对个人数据处理的明确同意与自主控制权。现有方案大多将用户同意与数据处理目的直接绑定,存在同意推导语义模糊、脱离业务逻辑、缺少冲突消解机制等问题,无法形成合法有效的用户同意。针对上述问题,提出一种基于同意的访问控制模型,将同意权限纳入访问决策流程,将个人数据操作抽象为服务于特定目的的动作。模型从语义层面明确目的与数据操作的关联,搭建目的-动作-同意一体化语义链路;遵循最小权限与拒绝优先原则,设计适配目的层级结构的非对称同意继承规则及同意计算方法。采用TLA+(temporal logic of actions plus)完成模型形式化建模,经模型检测验证了核心安全属性。实验表明,相较于现有代表性方法,该方法可有效化解同意冲突,取得更优结果。

       

      Abstract: To prevent malicious access to and misuse of privacy-sensitive data, data collectors must ensure users' explicit consent and autonomous control over the processing of their personal data, as mandated by modern data protection regulations. In existing approaches, user consent is mostly bound directly to data processing purposes. However, existing approaches suffer from vague semantics in consent derivation, weak alignment with the operational logic of data processing, and a lack of effective conflict resolution mechanisms, making it difficult to obtain legally valid and practically enforceable consent. To address these issues, a consent-based access control model is proposed, in which consent permissions are incorporated into the access decision process, and all personal data operations are abstracted as actions serving specific purposes. At the semantic level, the relationship between purposes and data operations is clarified, and an integrated semantic linkage among purpose, action, and consent is established. Following the principles of least privilege and deny-by-default, an asymmetric consent inheritance rule and a consent computation method tailored to hierarchical purpose structures are defined, thereby enabling fine-grained and context-aware access decisions. The model is formally specified in TLA+ (Temporal Logic of Actions Plus), and its core security properties are verified through model checking, ensuring both soundness and consistency. Experimental results on representative consent scenarios demonstrate that, compared with existing representative methods, the proposed approach can effectively resolve consent conflicts, reduce unintended over-authorization, and achieve better decision quality and compliance.

       

    /

    返回文章
    返回