针对服务器安全的指定验证者可搜索公钥加密

摘 要：在指定验证者的可搜索公钥加密(dPEKS)中，提出 IND-KGA-SERVER 安全模型，形式化描述针对服务器的安全。基于IND-KGA安全的dPEKS、数字证书授权中心CA、以及强不可伪造和不可否认的签名，在攻击者是服务器的情况下构造出抗 KG(keyword guessing)攻击的 dPEKS 方案。方案是从 IND-KGA 安全到IND-KGA-SERVER安全的编译器。