- 1、本文档共23页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第3章 密码学的复杂性理论基础 目 录 3.1 算法复杂性 3.2 问题复杂性 3.3 零知识证明理论 3.4 本章小结 密码技术和算法复杂性 计算复杂性 :研究密码分析对于计算量的需求和密码分析的困难程度 ,从而得出这些密码技术和算法在现有可行的条件下是否具有足够的安全性: 算法复杂性; 问题复杂性。 密码协议、方案和体制的安全性证明:零知识证明理论。 问题(problem) 即需要回答的一般性提问: 它通常含有若干个参数。 对于一个问题进行描述应该包括两方面的内容:必须对问题的所有给定参数给出一般性描述;必须描述该问题的答案(或解)应该满足的性质。 当问题的所有参数都有了确定的取值时,我们称得到了该问题的一个实例(instance)。 算法(algorithm) 即求解某个问题的一系列具体步骤(通常被理解为求解所需的通用计算程序)。 算法总是针对具体问题而言的,求解一个问题的算法通常不止一个。 当某个算法能够回答一个问题的任何实例时,我们称该算法能够回答这个问题。 当一个问题至少有一个能够回答该问题的算法时,我们称该问题可解(resolvable),否则称该问题不可解(unresolvable)。 3.1 算法复杂性 算 法 复 杂 性 即度量该算法所需的计算能力 ,包括: 时间复杂性T(time complexity); 空间复杂性S(space complexity); 随机位数目; 信道带宽; 数据总量; …… 算 法 复 杂 性 计算复杂性的表示符号为“ O ”(称为“大O ”),表示计算复杂性的数量级 好处: 使算法复杂性度量与处理器的运行速度和指令运行时间无关; 明确地揭示了输入的数据长度对算法复杂性的影响。 算 法 复 杂 性 算法的分类及其运行时间 问 题 复 杂 性 研究问题的内在复杂性,即在图灵机上解决最难的问题实例所需的最小时间和空间条件。 图灵机 图灵机是一种具有无限读写存储带的有限状态机,可以被当作一个实际可用的计算模型 。 确定性图灵机。 非确定性图灵机 :能够进行猜测。求解一个问题分两个阶段:猜测阶段和验证阶段。 问题分类 易处理的(tractable) :确定性图灵机上能够在多项式时间内得到处理的问题。称易处理问题的全体为“多项式时间可解类”,记为P。 非确定性图灵机上能够在多项式时间内得到处理的问题被称为“非确定性多项式时间可解问题”,简称NP问题。NP问题的全体被称为“非确定性多项式时间可解类”,记为NP。 NP问题 意义:能够通过非确定性的多项式时间算法对许多对称密钥算法和所有公钥算法进行攻击。 NP完全问题 :指NP中的任何一个问题都可以通过多项式时间转化为该问题 。NP完全问题的全体被记为NPC 。 NP Hard问题? 零知识证明 证明者能够在不向验证者提供任何有用的信息的情况下,使验证者相信某个论断是正确的。 实质上是一种涉及两方或更多方的协议,即两方或更多方完成一项任务所需采取的一系列步骤。 零知识“洞穴” 零知识“洞穴” (1)V站在A处; (2)P走进洞穴,到达C处或D处; (3)当P消失在洞穴中时,V走到B处; (4)V呼叫P,要求P:(a)从左通道出来;或者(b)从右通道出来; (5)P答应V的呼叫,并在有必要的情况下用咒语打开C与D之间的秘密之门; (6)重复步骤(1)~(5)次。 基本的零知识协议过程 假设P知道一部分信息,并且该信息是一个难题的解法 : (1)P用自己的信息和一个随机数将这个难题转变为与之同构的新难题,然后用自己的信息和这个随机数这个新难题; (2)P利用位承诺方案提交对于这个新难题的解法; (3)P向V透漏这个新难题,V无法通过新难题得到关于原难题或其解法的任何信息; (4)V要求P:(a)证明新、旧难题同构;或者(b)公布P在(2)中提交解法并证明该解法的确为新难题的解法; (5)P答应V的要求; (6)重复步骤(1)~(5)次。 交互与非交互 交互零知识证明 :证明者和验证者之间必须进行交互 。由Goldwasser等人在20世纪80年代初提出 GMR模型; FFS模型。 非交互零知识证明 :用一个短随机串代替交互过程并实现了零知识证明 。 20世纪80年代末,Blum等人进一步提出 成员(或定理)的非交互零知识证明系统; 知识(或身份)的非交互零知识证明系统。 交互图灵机 交互图灵机指的是一个具有一条只读输入带、一条工作带、一条随机带、一条只读通信带和一条只写通信带的图灵机。其中,随机带上包含一条无限长的随机比特序列,并且只能从左向右读入。“一个交互图灵机投一个硬币”指该图灵机从自己的随机带上读取1bit。 交互协议 即满足以下两
您可能关注的文档
- 病因及其推断.ppt
- 博士后科研工作站.ppt
- 部队安全管理教育.ppt
- 部队安全管理警示教育专题讲座1.ppt
- 不同脸型、五官的特征与矫正方法.ppt
- 财务报表编制与分析.ppt
- 测血压以及口腔护理讲课课件.ppt
- 常见运动损伤的检查方法.ppt
- 常用方剂的应用.ppt
- 超短波的临床应用.ppt
- 江苏省灌云高级中学2023-2024学年高三上学期第一次月考地理试题含答案.docx
- 备战2024年高考物理一轮重难点复习 第十三章 近代物理.docx
- 江苏省高邮市一中2021-2022学年高三上学期第一次月考语文试题(原卷版).docx
- 江苏省华罗庚中学2023-2024学年高三上学期12月阶段检测数学试卷含答案.docx
- 江苏省海门中学2023-2024学年高三上学期第一次调研考试地理试题及答案.docx
- 备战2024年高考物理一轮重难点复习 第九章 恒定电流.docx
- 江苏省高邮市2023-2024学年高三下学期3月学情调研数学试题含答案.docx
- 备战2024年高考物理一轮重难点复习 实验十一:探究影响感应电流方向的因素.docx
- 备战2024年高考物理一轮重难点复习 实验三:验证平行四边形定则.docx
- 备战2024年高考物理一轮重难点复习 第十四章 光.docx
文档评论(0)