21、基于Datalog的信任管理中的选择性披露

基于Datalog的信任管理中的选择性披露

在当今数字化时代，信任管理和用户隐私保护变得至关重要。本文将介绍一种基于Datalog的信任管理系统，该系统结合了属性基凭证（ABC）、安全两方计算（2PC）和零知识证明（ZKPK），旨在实现强大的密码学隐私保护。

1. 背景知识

• 信任管理场景
  • Discount场景 ：匿名用户若想获得折扣，需满足两个条件：一是为教育委员会认可大学的学生，二是持有匹兹堡剧院未过期的折扣凭证。该场景使用Datalog语法表达策略，例如 can discount() :– x.StudentID(..., [year], ...), EducationBoard.UniversityID(x, ...), PittsbghTheater.DiscountCred(..., expDate), expDate > today() 。此策略的满足意味着用户需向服务方披露学生ID中的年份信息，而服务方仅得知折扣凭证的过期日期在未来。
  • Booking场景 ：用户Alice使用SmartAir的网络服务购买机票时，访问请求 id() 成功的前提是用户可被系统识别。用户可通过出示两种护照凭证来实现识别，一种是电子护照凭证，需由合适的发行方签名；另一种是普通护照凭证，用户可自行声明。该策略不要求用户在访问请求时披露电子护照中的生物识别数据。
  • Manage场景 ：若Alice之前