A Flaw in the Security Proof of BDOP-PEKS and PEKS-STAT

• 作 者: ZHANG Yajuan ZHU Yuefei GU Chu
• 机 构: InstituteofInformationEngineering,KeyLaboratoryofInformationEngineering
• 出 处: 武汉大学学报：自然科学英文版
• 发表日期: 2007年1期
• 关键词: 计算机 安全保密 密码 GBDH 加密 provable security public key encryption with keyword search
• 基金项目: Foundation item： Supported by the National Natural Science Foundation of China （60473021）

可证明的安全广泛地被使用了分析安全 ofcryptosystems。它的主要想法是把安全归结为某明确的 computationalassumption。减小过程被称为安全证明。在这份报纸，我们在 BDOP-PEKS 和 PEKS-STAT 的 thesecurity 证明发现一个缺陷，为 BDOP-PEKS 的安全介绍一个新结论，并且给一个安全证明。在 PEKS-STAT 的安全证明的缺陷能 way.Finally 在一样被修正我们结束安全证明的一些步，并且强调概率作为构造是 asimportant。