基于编码的数字签名技术综述_第1页
基于编码的数字签名技术综述_第2页
基于编码的数字签名技术综述_第3页
基于编码的数字签名技术综述_第4页
基于编码的数字签名技术综述_第5页
免费预览已结束,剩余4页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、    基于编码的数字签名技术综述    摘要:为抵抗量子算法的攻击,编码密码技术成为了近期密码学领域的热点研究内容之一。将编码密码技术与数字签名技术有效的联系起来成为了当代密码学及信息安全领域研究的重要课题之一。本文首先对编码理论及相关基础知识做了一定的介绍,其次介绍了几种高级数字签名;最后分析了经典的cfs签名算法。关键词:编码;数字签名;cfs签名中图分类号:tp311 文献标识码:a 文章编号:1007-9416(2020)09-0186-040 引言数字签名是信息安全技术中的重要组成部分,可应用于日常生活及商业、政治、军事等重大领域。1976年

2、,diffie和hellman首次在“密码学新方向”一文中提出数字签名的概念,概念描述为签名人保存其私钥用于产生签名,公布其公钥用于验证签名。目前,存在rsa公钥数字签名、ecc椭圆曲线数字签名、elgamal数字签名等很多种不同的数字签名,但是,随着数字签名技术的不断发展,盲签名、群签名等不同形式的高级数字签名相继出现,这些高级数字签名不仅拥有数字签名的基本性质,还具有其特殊性。虽然这些不同种类的数字签名算法都得到了广泛的应用,但是由于其多是基于数学困难问题构建的,无法有效的抵制量子攻击算法。因此,基于编码问题研究环签名、群签名等应用于特殊领域的数字签名技术具有非常重要的意义。1990年西安

3、电子科技大学的王新梅教授1首先尝试将编码问题用于数字签名技术。随后courtois等学者于2001年利用线性分组码的译码困难问题构造了cfs(courtois finasz sendrier)1数字签名算法,其签名是利用hash函数对消息进行重复计算,直到输出可译码的校验子为止,该签名体制的安全性能够规约到mceliece问题,是真正严格意义上比较安全的基于编码的数字签名算法。2007年,dallot2对cfs算法进行修正并给出安全性证明。2009年,finiasz3等学者对cfs算法做了进一步的安全性分析,并给出新的安全参数。此外,学者们也致力于基于编码问题研究各种不同应用领域的数字签名。2

4、007年,郑东教授基于cfs签名算法提出了一种基于编码的环签名方案4;同年,cayrel等学者5首次利用编码问题实现了基于身份的数字签名方案。overbeck于2009年基于qc码6首次提出了基于编码的盲签名方案,但由于其签名长度较长,实用性不高;同年leonard等7学者提出了可证明安全性的基于编码的门限环签名,这是首次给出的可证明安全性的基于编码的数字签名方案。2013年,李泽慧等学者基于niederreiter公钥体制8和mceliece公钥体制9提出了两种基于编码的盲签名方案。本文首先介绍了基于编码的数字签名技术的相关基础知识,并对数字签名做了简单的概述,然后介绍了经典了cfs方案。1

5、 基础知识1.1 编码基础定义1:线性分组码(linear block codes)有限域f2上的一个(n,k)线性分组码c是n维线性空间的一个k维子空间,c中的向量称为码字,n称为码长,k称为码的维数。定义2:生成矩阵(generating matrix)与校验矩阵(parity check matrix)(n,k)线性分组码c的生成矩阵是一个k×n阶的矩阵g,其中g的行向量构成了c的一组基。校验矩阵是一个(n-k)×n阶的矩阵h,其中校验矩阵h的任意行向量与生成矩阵g的任意行向量正交,即hgt=0。定义3:sd问题(syndrome decoding)给定有限域f2上的

6、r×n矩阵h,字及整数,是否存在字满足且重量小于。1.2 数字签名基础数字签名(data signature),是一种可以为消息的接收者确认消息发送者的身份,并且可以验证消息完整性的算法方案,同时,签名及消息的真实性可由第三方验证。一个数字签名算法的基本结构如图1所示。一个数字签名算法一般由签名人和验证者两个参与实体构成,通常包括3个算法,密钥生成算法、签名算法和验证算法:(1)密钥生成:密钥生成算法是一个概率多项式时间算法,简记为keygen(k),系统输入安全参数k,输出签名人的公钥pk、私钥sk,其中,公钥pk公开,私钥sk交由签名人保密;(2)签名:签名算法是一个概率多项式时

7、间交互协议,简记为sign(sk,m),签名人用私钥sk对消息m进行签名,得到消息的签名;(3)验证:验证者利用公钥pk验证消息的签名,简记为verify(pk,),输出“1”(表示签名有效)、“0”(表示签名无效)。一个基本的数字签名算法,应满足以下几点:1)验证者应能验证消息内容及消息来源的真实性,并且可以验证签名人的身份;2)除签名人之外的任何人均不可伪造出消息的合法签名,签名人也不可否认其签名;3)当签名人和验证者对签名的真实性发生争执时,可在第三方(仲裁者)处对签名的真伪进行验证。2 高级数字签名数字签名技术在身份认证、匿名性及不可否认性等信息安全领域,特别是在电子商务、电子政务等需

8、要计算机网络安全的领域都有着非常重要的作用,是信息安全的核心技术之一。随着电子商务、电子政务的不斷发展,出现了很多基于不同领域的高级数字签名,下面对其进行简要的介绍:(1)盲签名(blind signature):1982年,chaum首次提出盲签名的概念。消息拥有者通过签名人获得消息的签名,而签名人只能证明自己对消息签过名,却无法得到消息的任何具体内容,也无法追踪消息与执行签名过程间的相互关系。如在电子交易中,货币的使用人实现电子交易,却不希望银行知道自己账户的信息以及变化详情,这就可以用到盲签名。(2)群签名(group signature):群签名的概念是chaum和heyst于1991

9、年首次提出的。在一个群签名体制中,群体中的任一成员都可以代表整个群体以匿名的方式对消息进行签名,验证者只能确定签名是由群体中的某一成员产生的,但不知道具体是哪一个成员,即匿名性。当存在争议时,群管理员可通过打开签名查出签名人的实际身份,使签名人不可否认自己的签名,即可追踪性。另外,在不打开群签名的条件下,任何人不能确定两个群签名是否为同一群成员生成。(3)环签名(ring signature):环签名的概念是在群签名的基础上提出的,于2001年由rivest等人在亚洲密码学年会上提出。在环签名体制中,签名人随意选取n-1人,连同自己一起构成一个n人的环,然后用自己的私钥和其他n-1人的公钥一起

10、对消息进行环签名操作。由于环签名是环中成员自发进行的,体制中无法追踪签名人的身份,具有不可撤销的匿名性。(4)基于身份的数字签名(ibs,identity based signature):1984年,shamir提出了一种基于身份的密码思想,利用用户公开的身份信息计算或者由公开的身份信息通过公开的算法计算用户的公钥,由密钥生成器生成用户的私钥,并由用户自己保密,交互双方通过对方的身份信息加密或签名验证。(5)民主群签名(democratic group signature):民主群签名是一种特殊的群签名,由manulis于2006年提出,民主群签名即群中的任意成员都可代表群体产生群签名,并且

11、群体中的任意成员都可从群签名中恢复出该签名的群成员身份。(6)具有消息恢复的签名:nyberg和rueppel于1994年提出了基于消息恢复签名方案,该签名可根据签名结果恢复被签名的消息。(7)多重签名:itakura等学者于1983年提出了一种特殊的数字签名,即多重签名,即多人参与对文件的签名,并分别对其进行签名。除了以上数字签名外,还有不可否认签名、指定确认人签名等其他形式的数字签名,这些不同类型的数字签名也得到了学者的广泛关注。3 基于编码的数字签名目前基于编码的数字签名方案在一般数字签名、环签名等领域取得了一定的成果,如courtois等学者提出的cfs签名方案,郑东教授提出的基于编码

12、的环签名方案等。本节主要介绍经典的cfs签名算法,其安全性可以归结为一般译码问题和goppa码与随机线性码的不可区分问题等np困难问题。算法的具体过程如下所示。3.1 初始化setup在有限域f2上选取一个m次既约多项式g(x),由多项式g(x)生成一个(n,k,t)既约goppa码,其中n=2m为码长,k=n-mt为码的维数,t为码的纠错能力。码的(n-k)×n阶校验矩阵记为h0,对应的译码算法记为。随机选择的(n-k)×(n-k)阶非奇异矩阵u,n×n阶置换矩阵p,计算h=uh0p,h可看做(n,k,t)线性分组码c的(n-k)×n阶校验矩阵。公开公

13、钥h,私钥u、p、h0、由签名人保密。3.2 签名sing(1)签名人选择一个公开的哈希函数h,并对消息m进行哈希运算得到n-k长的序列s:s=h(m);(2)用哈希函数h计算n-k长的序列si:si=h(s|i),其中i=0,1,2;(3)签名人使用秘密的译码算法对si尝试译码,将最小的使si可译码的i记为i0,并将译出的字记作z,满足:hzt=si0,(z)=t;(4)令i1i2it为z中取值为1的位置标号,计算z的标号iz:(5)公开消息-签名对(m,)=(m,iz|i0)。3.3 验证verify(1)验证者收到(m,),根据消息m的哈希值h(m)和签名中的i0计算n-k长的序列s1:

14、s1=h(h(m)|i0);(2)根据签名中的标号iz恢复出z,将z左乘公钥h计算其校验子s2:s2=hzt;(3)若s1=s2,则签名有效,否则签名无效。由于签名时的平均译码尝试次数约为t!次,而一个快速有界译码算法在几分钟内即可完成约一百万次译码,则t的取值应不超过10(10!=3628800)10。因此,在canteaut-chabaud攻击下,可接受的安全强度为280次cpu运算,当t=10、n=215時,译码开销为287.4;当t=9、n=216时,译码开销为283.7,能够达到可接受的安全强度。4 结语基于编码的数字签名是目前可以抵抗量子算法攻击的一类数字签名,由于其安全性较高,受

15、到了国内外研究学者们的重视。到目前为止,基于编码的数字签名的研究在不断发展,但是仍然不够成熟,具有很大的研究与应用的空间。本文即对基于编码的数字签名技术做了一个简单的综述介绍。参考文献1 xinmei w.digital signature scheme based on error-correcting codesj.electronics letters,1990,26(13):898-899.2 courtois,matthieu finiasz,nicolas sendrier.how to achieve a mceliece-based digital signature sche

16、mec.advances in cryptology - asiacrypt 2001,international conference on the theory and application of cryptology and information security, gold coast,australia,december 9-13,2001,proceedings,2001.3 dallot l.towards a concrete security proof of courtois, finiasz and sendrier signature schemem.researc

17、h in cryptology.springer-verlag,2008.4 matthieu finiasz,nicolas sendrier.security bounds for the design of code-based cryptosystems c.advances in cryptology - asiacrypt 2009,international conference on the theory and application of cryptology and information security,tokyo,japan, december 6-10,2009.

18、proceedings,2009.5 zheng d,li x,chen k.code-based ring signature schemej.chinese journal of electronics,2007,16(3):154-157.6 cayrel p l,otmani a,vergnaud d.on kabatianskii-krouk-smeets signaturesc.proceedings of the 1st international workshop on arithmetic of finite fields.springer-verlag,2007.7 dallot,léonard,damien vergnaud.provably secure code-bas

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论