版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第九章
身份识别和零知识证明
一、身份证明技术
传统的身份证明:
一般是通过检验“物”的有效性来确认持该物的人身份。徽章、工作证、信用卡、驾驶执照、身份证、护照等,卡上含有个人照片(易于换成指纹、视网膜图样、牙齿等)。
信息系统常用方式:
用户名和口令交互式证明两方参与示证者P(Prover),知道某一秘密,使V相信自己掌握这一秘密;验证者V(Verifier),验证P掌握秘密;每轮V向P发出一询问,P向V做应答。V检查P是否每一轮都能正确应答。
交互证明与数学证明的区别数学证明的证明者可自己独立的完成证明交互证明由P产生证明,V验证证明的有效性来实现,双方之间要有通信交互系统应满足完备性:如果P知道某一秘密,V将接收P的证明正确性:如果P能以一定的概率使V相信P的证明,则P知道相应的秘密身份识别方案的要求假设A和B是通信的双方,当A与B进行通信时,A首先要向B证明自己的身份。一个安全的身份识别方案至少应该满足以下两个要求:(1)A能向B证明自己的确是A(2)当A向B证明了自己的身份后,B得不到任何用于模仿A的有用信息,B无法向第三方声称自己是A.Guillou-Quisquater身份识别方案Guillou-Quisquater身份识别方案的安全性主要是基于RSA公钥密码体制的安全性.Guillou-Quisquater身份识别方案需要一个可信当局,简称TA.Guillou-Quisquater身份识别方案当A要向B证明自己的身份时,A和B执行下面的协议:(1)A随机选取整数k(0≤k≤n-1),然后A计算r=kbmodn(2)A将其证书C(A)=(ID(A),v,s)和r传送给B(3)B利用TA公开的签名验证算法来检验s是否为TA对(ID(A),v)的签名(4)B随机选取整数t(0≤t≤b-1),B将t传送给A(5)A计算y=kutmodn,A将y传送给B(6)B验证r=vtybmodn是否成立.如果上式成立则B接受A的身份证明;否则拒绝A的身份证明.二、零知识证明最小泄露证明和零知识证明:
以一种有效的数学方法,使V可以检验每一步成立,最终确信P知道其秘密,而又能保证不泄露P所知道的信息。零知识证明的基本协议例[Quisquater等1989]。
设P知道咒语,可打开C和D之间的秘密门,不知道者都将走向死胡同中。ABCD零知识证明的基本协议
(1)V站在A点;(2)P进入洞中任一点C或D;(3)当P进洞之后,V走到B点;(4)V叫P从左边出来,或从右边出来;(5)P按要求实现(以咒语,即解数学难题帮助);(6)P和V重复执行(1)~(5)共n次。若P不知咒语,则在B点,只有50%的机会猜中V的要求,协议执行n次,则只有2-n的机会完全猜中,若n=16,则若每次均通过V的检验,V受骗机会仅为1/65536零知识证明的基本协议说明:在上述协议的执行过程中,V没有得到关于咒语的任何信息,因此上述协议是一个零知识证明协议.零知识证明的基本协议哈米尔顿回路图论中有一个著名问题,对有n个顶点的全连通图G,若有一条通路可通过且仅通过各顶点一次,则称其为哈米尔顿回路。Blum[1986]最早将其用于零知识证明。当n大时,要想找到一条Hamilton回路,用计算机做也要好多年,它是一种单向函数问题。若A知道一条回路,如何使B相信他知道,且不告诉他具体回路?
哈米尔顿回路
(1)A将G进行随机置换,对其顶点进行移动,并改变其标号得到一个新的有限图H。因,故G上的Hamilton回路与H上的Hamilton回路一一对应。已知G上的Hamilton回路易于找出H上的相应回路;(2)A将H的复本给B;(3)B向A提出下述问题之一:(a)出示证明G和H同构,(b)出示H上的Hamilton回路;(4)A执行下述任务之一:(a)证明G和H同构,但不出示H上的Hamilton回路,(b)出示H上的Hamilton回路但不证明G和H同构;(5)A和B重复执行(1)~(4)共n次。零知识证明设p和q是两个大素数,n=pq.假设P知道n的因子.如果P想让V相信他知道n的因子,并且P不想让V知道n的因子,则P和V可以执行怎样的协议?零知识证明(1)V随机选取一个大整数x,计算y=x4modnV将结果y告诉P(2)P计算Z=modnP将结果z告诉V(3)V验证z=x2modn是否成立.上述协议可以重复执行多次,如果P每次都能正确地计算modn,则V就可以相信P知道n的因子p和q.零知识证明说明:计算modn等价于对n进行因子分解.如果P不知道n的因子p和q,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 施工方案围墙简易图(3篇)
- 暴风式传播营销方案(3篇)
- 桥面系附属施工方案(3篇)
- 水泥临时道路施工方案(3篇)
- 洋酒活动推广方案策划(3篇)
- 渔港升级改造施工方案(3篇)
- 特步营销方案分析(3篇)
- 疏浚土方开挖施工方案(3篇)
- 社区取暖点应急预案(3篇)
- 粉丝群维护营销方案(3篇)
- 第5章第2节染色体变异高一下学期生物人教版必修2
- 食堂食品安全监控系统建设方案
- 2026年电气工程及其自动化试题预测试卷含答案详解【研优卷】
- 湖南省长郡教育集团2026届中考四模历史试题含解析
- 2026年临床医学检验临床基础检验模拟题库附参考答案详解(完整版)
- 天津大学毕业论文答辩PPT模板
- 跨文化交际(课件)
- 设施蔬菜栽培技术课件
- 教师专业技能提升培训-班级管理心理学专题课件
- 特种设备及安全附件维护保养、检查记录
- 全国各俞氏辈分收集
评论
0/150
提交评论