9、支持即时撤销的前向安全密码启用公钥基础设施

支持即时撤销的前向安全密码启用公钥基础设施

1. 相关算法基础

• 非对称加密方案 ：使用 AGen() 、 AEy() 和 ADx() 表示一个非对称加密方案。其中， AGen() 是密钥生成算法， AEy() 是使用公钥 y 的加密算法， ADx() 是使用私钥 x 的解密算法。
• Schnorr签名方案 ：为证明方案的安全性，采用了Schnorr签名方案。设 p 和 q 为大素数，且 q|p - 1 ， g 是 Z∗p 中阶为 q 的乘法子群的生成元。签名者选择私钥 x ，计算公钥 y = g^x mod p 。签名消息 m 时，签名者选择随机数 k ∈R Z∗q ，计算 r = g^k mod p ， s = -x · h(m||r) + k mod q ，其中 h() 是抗碰撞哈希函数。验证算法检查 r? = g^s · y^h(m||r) mod p 。