%0 Journal Article %T 标准模型下可证明安全的入侵容忍公钥加密方案 %A 于佳? %A 程相国? %A 李发根? %A 潘振宽? %A 孔凡玉? %A 郝蓉? %J 软件学报 %P 266-278 %D 2013 %R 10.3724/SP.J.1001.2013.04324 %X 在传统的公钥加密方案中,一旦解密密钥泄漏,系统的安全性将完全丧失.特别是随着越来越多的加密系统被应用到移动的、安全性低的设备中,密钥泄漏显得难以避免.入侵容忍公钥加密的提出就是为了减小密钥泄漏对加密系统的危害,具有比前向安全加密、密钥隔离加密更强的安全性.在这种体制下,整个生命周期被分割成离散的时间阶段,公钥固定不变,密钥信息分享在解密者和基地中,前者独立完成解密操作,而后者则在每个时间周期中提供一个更新信息来帮助演化解密密钥.此外,每个时间段内有多次密钥刷新的操作,可以刷新解密者的密钥和基密钥.当解密者和基地被入侵时,只要不是同时被入侵,安全性就可以得到保证.即使入侵者同时入侵解密者和基地,也不会影响以前时间段密文的安全性.提出了一个入侵容忍公钥加密方案,所有费用参数关于总共时间段数的复杂性均不超过对数的平方.证明了该方案是标准模型下安全的.这是一个不需要随机预言的可证明安全的入侵容忍公钥加密方案. %K 密钥泄漏 %K 前向安全加密 %K 密钥隔离加密 %K 入侵容忍加密 %K 标准模型 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4324&flag=1