-
题名CFL可证明安全性分析
- 1
-
-
作者
秦红兵
潘月君
范修斌
王海平
-
机构
山东交通学院海运学院基础部
-
出处
《信息安全研究》
2016年第7期589-599,共11页
-
文摘
公钥密码算法的可证明安全性理论,明确了密码体制的安全定义;建立起一种基本定义、基于归约证明的通用密码学研究方法;通过严格的证明把体制的安全性与已知的计算性难题或密码学关联起来.可证明安全性理论的研究推进了密码体制的标准化进程,很多标准化组织将密码体制的安全证明作为密码体制必备的安全属性,要求新提交的密码学标准中的算法能通过安全性证明,目前采用的密码学标准都遵从这种安全规范.在此基础上,证明了CFL是密钥不可恢复可证明安全的,同时证明了当CFL基于SM2,Hash函数满足随机语言机时,其为EUF-CMA安全的.
-
关键词
可证明安全性
公钥加密
极微本原
随机预言机
CFL(Chen
Fan
and
Lü)
-
Keywords
provable security
public key encryption
atomic primitives
random oracle model
CFL(Chen,Fan,and Lii)
-
分类号
TP309.7
[自动化与计算机技术]
-
