收稿日期:20190619;修回日期:20190809 基金项目:国家自然科学基金资助项目(61662083)
作者简介:方光伟(1974),男,江西万载人,副教授,硕士,主要研究方向为网络安全、安全协议分析与设计(fanggw@263.net).
一种可证安全无对运算的签密方案分析与改进
方光伟
1,2
(1.宜春学院 数学与计算机科学学院,江西 宜春 336000;2.东南大学 网络空间安全学院,南京 211189)
摘 要:Chen等人提出了无对运算的无证书签密方案,通过加解密双方私钥和公钥相结合生成密文加密密钥,
并在随机预言机模型下证明了该方案满足适应性选择密文攻击下不可区分性和适应性选择消息攻击下不可伪
造性。对
Chen方案进行安全分析,发现其方案在选择明文攻击下存在密钥泄露和不能抵抗恶意 KGC的不可伪
造性攻击问题。由此,基于椭圆曲线群上计算性
DiffieHellman问题和离散对数问题提出了新的无证书签密方
案。新方案避免了原方案的密钥泄露等安全问题。在保证安全性的前提下,新方案运行效率未降低。
关键词:可证安全;无证书签密;随机预言机模型;机密性;椭圆曲线
中图分类号:TP309.7 文献标志码:A 文章编号:10013695(2020)11045342206
doi:10.19734/j.issn.10013695.2019.06.0296
Securityanalysisandimprovementofprovablesecurity
certificatelesssigncryptionscheme
FangGuangwei
1,2
(1.SchoolofMathematics&ComputerScience,YichunUniversity,YichunJiangxi336000,China;2.SchoolofCyberScience&Engineering,
SoutheastUniversity,Nanjing211189,China)
Abstract:Chenetal.proposedacertificatelesssigncryptionschemewithoutpairwiseoperation,whichcombinedtheprivate
keyandthepublickeyoftheencryptionanddecryptiontogenerateaciphertextencryptionkey.Undertherandomoraclemod
el
,itprovedthattheschemesatisfiestheindistinguishabilityunderadaptiveselectiveciphertextattackandtheunforgeability
underadaptiveselectionmessageattack.ThispaperanalyzedthesecurityofChen’sschemeandfoundthattheschemehada
keyleakageundertheselectiveplaintextattackandanunforgeableattackthatcouldnotresistthemaliciousKGC.Therefore,
thispaperdevelopedanewcertificatelesssigncryptionschemebasedonthecomputationalDiffieHellmanproblemandthedis
cretelogarithmproblemontheellipticcurvegroup.Thenewschemeavoidsthesecurityproblemsuchaskeyleakageofthe
originalscheme.Underthepremiseofensuringsecurity,theefficiencyofthenewschemehasnotdecreased.
Keywords:provablesecurity;certificatelesssigncryption;randomoraclemodel;confidentiality;ellipticcurve
0 引言
机密性和不可伪造性是网络安全通信中最为重要的两个安
全要素,机密性是通过加密来实现,不可伪造性则可通过数字签
名来实现。为了解决传统先签名后加密的计算效率低等问题,
文献[1]提出了签密的概念,将签名和加密两个功能融合在一
个逻辑步骤中,在提供相同安全要素的情况下,签密机制的计算
量和需要的通信带宽较低,是一种安全通信的理想方式。
对通信双方的公钥认证是网络通信过程中需要解决的一
个安 全 问 题。基 于 公 钥 密 码 体 制 (
publickeyinfrastructure,
PKI)通过认证中心(certificateauthority,CA)颁发数字证书来
建立用户身份与用户公钥的对应,但存在证书颁发、存储和撤
销等功能管理复杂、维护困难的缺点。基于身份公钥密码体制
以用户的公开信息(如
email地址等)作为用户的公钥,私钥
完全由密钥生成中心(privatekeygenerator,PKG)产生,因此存
在密钥托管的问题。AlRiyami等人
[2]
提出了无证书的公钥密
码体制(CLPKC)。在 CLPKC中,用户的公钥和私钥由用户
和 KGC(keygeneratorcenter)共同计算得出,因此 CLPKC突破
了上述两种密码体制的缺陷,整个密码体制的安全和效率得到
了提升。
2008年 Barbosa等人
[3]
结合签密和 CLPKC的优点,提出
了无 证 书 签 密 密 码 体 制 (certificatelesssigncryption,CLSC)。
该体制近年来成为密码学的研究热点之一,国内外学者提出了
许多无证书签密方案。文献[
3]利用双线性对构造了一种具
有前向安全的无证书签密方案,但未给出安全证明;文献[4]
提出了在随机预言机模型下可证安全的无证书签密方案,但该
方案双线性对计算次数较多,计算效率低;文献[5,6]研究表
明,双线性对计算的时间复杂度是素数模指数运算的 5倍以
上
[5]
,是椭圆曲线点乘运算 20倍以上
[6]
;文献[7]首次提出了
无双线性对运算的无证书签密方案,但该方案不满足发送消息
的机密性和不可伪造性;文献[
8]使用大素数模指数的无证书
签密方案,该方案只需三次指数运算,计算效率较高;但文献
[9,10]对文献[8]的安全性进行了分析,证明了该方案不满足
其声称的机密性和不可伪造性,并分别提出了改进方案;文献
[
11]提出了基于椭圆曲线上计算性 DiffieHellman问题和离散
对数问题的无证书签密方案,并在随机预言机模型下证明了方
案满足机密性和不可伪造性;遗憾的是,文献[12]分析表明该
方案机密性不能抵抗 A
Ⅰ
类敌手的攻击;文献[13]还表明该方
案不能抵抗 A
Ⅱ
类敌手的不可伪造攻击;文献[14]提出了一个
能抵制密钥泄露攻击无证书签密方案,方案在签密阶段不含双
线性对运算,但在解签密阶段需要耗时的双线性对运算;文献
[15]是一个未使用双线性对运算签密方案,其具有不可否认
性和公开验证性等安全属性。
近期,陈虹等人
[16]
在文献[17]的基础上,构造了一个可证
安全无对运算的无证书签密方案。方案的安全性是基于椭圆
第 37卷第 11期
2020年 11月
计 算 机 应 用 研 究
ApplicationResearchofComputers
Vol.37No.11
Nov.2020