55、可撤销分层属性基签名方案（VLR - HABS）详解

可撤销分层属性基签名方案（VLR - HABS）详解

1. VLR - HABS 基础算法

VLR - HABS 方案包含多个核心算法，这些算法共同构成了整个系统的基础。
- UKGen(pp, skd0) ：由根权威机构为用户执行的密钥生成算法，生成的密钥对 (usk, upk, id) 会发放给用户。
- AKGen(pp) ：由中间权威机构独立执行的密钥生成算法，每个中间权威机构生成自己的公钥 pkdi 和身份 idi（i > 0）。
- AttIssue(warri, a, {pkdj|upkj}) ：用于将属性委托给权威机构 idj 或发放给用户 uid 的算法。输入权威机构的授权书 warri、属性 a 和接收方的公钥，输出新的授权书 warr。
- Revoke(skRevA, id) ：由撤销权威机构执行的算法，根据隐式输入 pp 中的 RevokeList 和用户或 AA ID 输出更新后的 RevokeList。
- Sign((usk, warr), m, Ψ) ：签名算法，输入签名者的 usk、warr、消息 m 和谓词 Ψ 输出签名 σ。
- Verify(pkd0, (m, Ψ, σ)) ：确定性算法，若候选签名 σ 对消息 m 在谓词 Ψ 和撤销列表 RevokeList 下有效则输出 1，否则输出 0。
- Trace(skTA, pkd0, (m, Ψ, σ))