基于GF(qN)上秩距离码的校验矩阵的验证方案.pdfVIP

第2‘{卷第9期 电子与信息学报 Ⅷ23No9 I＼FoR、IAIllONJIFflH、0LoGY200l 2001年9月JOuR弋AI。OFELEcTRONlCsAND S。pt 基于GF(qⅣ)上秩距离码的校验矩阵的验证方案1 村伟章 王新悔 (西安电子科技大学练台业务网国家重点实验室西安710071 J 摘要 ste rII(1996)在“公钥验证的一个新范倒”中基于GF(2j上纠错码的1交验矩阵提出了一验 stelll的方 证方案．该文基于GF(q“)(q为素数)上秩距离码的校验矩阵提出一新的验证力案，将J 案中对秘密数据s的重量限制改为对s的秩的限制；证明了在随机预言模型中给出的协陂是零知识交 可-|正明，并显示出通过参数的适当选取．此方案比JStern的方案耍安全． 关键词 验证方案，校验矩阵，秩距离码，零知识 TN918 中图号 l n 1引 言 验证方案是一密码协议，它使得团体4(“证明背”)对团体B(“检验者”)多项式多次地证明 他的身份．而B无法对其他人冒称它自己为A．验证方案能通过使用零知识交t证明系统做 Micali和C 到，198j年sG01dwasser，s RackofF在文献【11中提出r零知识交互证明的思 想。 l ste rIl在文献[2]中基于二元域上纠错码的校验矩阵提出了一验证方案，本文基于GF(口“) (q为素数)上秩距离码的校验矩阵提出了一新的验证方案．秩距离码的含义见文献f={]。 文中的验证方案涉及如下有限域上秩距离码的伴随式译码问题．将此问题称为“SD”问题． 名词： SD 输入： 长度为m的q元向量． 问题：是否存在GF(口“)上长度为礼秩为p的向量s，使得i=Hs． 2方案的描述 此验证方案依赖委托与杂凑函数的概念(见文献【2])，文中要求杂凑函数是免于碰撞的． 下面用小写字母表示向量，大写字母表示矩阵，所有运算都是在GF(q“)上进行的；文中符号 文中的方案使用GF(∥)上一固定的(m×n)阶矩阵H．此矩阵是对所有用户公开的，且 首先由一大家都信帧的中心随机地构造． 住登记后，每个用户U收到一秘密钥s，s的秩为p，由中心随机地选择．用户的公开身 懒为i=Hs． 前后关系如下： 公共的公开数据： H(m，n)为GF(口“)上秩为l的矩阵，一个标为的杂凑函数； 证明昔的秘密数据： s为GF(∥)上妊度为n的向量； 证明者的公开数据：i=Hs，且s的秩为p． 1999—10—19收到，2000．04—07定稿 高等学校博士学科点专项科研基金资助课题(批准号： 9807IJlI)4 万方数据 墨42 电 子 气 信 息、 学 撖 23毪 设，{菩向B证明他的身份，协议包括，轮，每轮执行如1i： {1j证明者选择GF(qⅣ)上长度为n的向量Ⅳ崖同整数集合f1，2，，，?}的随机置换口 把妥托r1，Q，(‘3 c1=矿／／H(Ⅳ)，02=掣口，如=(Ⅳ+s)口 送给榆验者．