摘要
已提出的不可信更新的前向安全公钥加密方案没有安全性证明,因此对方案的安全性存在质疑。对前向安全公钥加密方案进行扩展,给出具有可证明安全的不可信更新前向安全公钥加密方案,提出了不可信更新的前向安全公钥加密的方案定义和形式化安全性模型。根据方案定义,运用双线性映射技术以及高效的对称加密机制,提出一个不可信更新的前向安全公钥加密方案,并在随机预言机模型下证明了该方案的安全性。通过分析,该方案具有定长密文、定长私钥、固定加/解密开销、固定密钥更新开销的特点,具有一定的实用性。
The proposed forward-secure public-key encryption scheme with untrusted update has no provable security, so there is doubt about the security of the proposed schemes. This paper extended the forward-secure public-key encryption scheme and proposed the provable secure forward-secure public-key eneryption scheme with untrusted update. It presented the definition of forward-secure public-key encryption scheme with untrusted update. According to the definition of scheme, it proposed the for- ward-secure public-key encryption scheme with untrusted update using bilinear mapping and efficient symmetric encryption scheme, and proved the security of the scheme based on random oracle. Through analysis, the proposed scheme is practicality as it has constant size ciphertext, constant size of private key, constant overhead of encryption and decryption algorithms, con- stant overhead of key update algorithm.
出处
《计算机应用研究》
CSCD
北大核心
2016年第8期2420-2424,共5页
Application Research of Computers
基金
省部级学科平台开放课题资助项目(szjj2015-054)
潍坊学院2015年博士科研基金资助项目(2015BS11)
关键词
前向安全
密钥泄露
公钥加密
可证明安全
不可信更新
forward-secure
key leakage
public-key encryption
improved security
untrasted update