第3章 密码学的复杂性理论基础.pptVIP

第3章 密码学的复杂性理论基础 密码技术和算法复杂性 密码学研究的主要内容： (1)不同密码技术和算法的计算复杂性进行比较，确定其安全性。 计算复杂性 ：研究密码分析对于计算量的需求和密码分析的困难程度 ，从而得出这些密码技术和算法在现有可行的条件下是否具有足够的安全性，包括：算法复杂性和问题复杂性。 (2)在身份识别协议中，证明身份而不泄露更多的信息 密码协议、密钥分配方案和密钥体制的安全性证明都依赖于零知识证明理论。 问题（problem） 即需要回答的一般性提问,它通常含有若干个参数。 对于一个问题进行描述应该包括两方面的内容: (1)必须对问题的所有给定参数给出一般性描述; (2)必须描述该问题的答案（或解）应该满足的性质。 当问题的所有参数都有了确定的取值时，我们称得到了该问题的一个实例（instance）。 算法（algorithm） 即求解某个问题的一系列具体步骤（通常被理解为求解所需的通用计算程序）。 算法总是针对具体问题而言的，求解一个问题的算法通常不止一个。 当某个算法能够回答一个问题的任何实例时，我们称该算法能够回答这个问题。 当一个问题至少有一个能够回答该问题的算法时，我们称该问题可解（resolvable），否则称该问题不可解（unresolvable）。 算 法 复 杂 性(1) 算法复杂性：度量该算法所需的计算能力 ，包括： 时间复杂性T（time complexity）—T(n)； 空间复杂性S（space complexity）—S(n)； 随机位数目； 信道带宽； 数据总量； …… 主要依据是时间复杂性和空间复杂性。 算 法 复 杂 性 (2) 计算复杂性的表示符号为“ O ”（称为“大O ”），表示计算复杂性的数量级。算法复杂性通常被记作：f(n)=O(g(n)),表示存在一个常数c和n0，满足对于所有的nn0，f(n)c|g(n)|成立。 用数量级作为算法复杂性的好处有： (1)使算法复杂性度量与处理器的运行速度和指令运行时间无关； (2)明确地揭示了输入的数据长度对算法复杂性的影响。 算 法 复 杂 性 算法的分类及其运行时间 问 题 复 杂 性 问题复杂性：研究问题的内在复杂性，即在图灵机上解决最难的问题实例所需的最小时间和空间条件。 图灵机是一种具有无限读—写存储带的有限状态机，可以被当作一个实际可用的计算模型 。 确定性图灵机。 非确定性图灵机 ：能够进行猜测。求解一个问题分两个阶段：猜测阶段和验证阶段。 图灵的基本思想 图灵的基本思想：用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：(1)在纸上写上或擦除某个符号； (2)把注意力从纸的一个位置移动到另一个位置； 而在每个阶段，人要决定下一步的动作，依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。 图灵机的形式化定义 一台图灵机是一个七元组 (Q,Σ,Γ,δ,q0,qaccept,qreject)，其中 Q,Σ,Γ 都是有限集合，且满足1.Q 是状态集合； 2.Σ 是输入字母表，其中不包含特殊的空白符 □； 3.Γ 是带字母表，其中??□∈Γ且Σ∈Γ ； 4. δ:Q×「→Q×Γ×{L,R}是转移函数，其中L,R 表示读写头是向左移还是向右移； 5.q0∈Q是起始状态； 6. qaccept是接受状态。 7.qreject是拒绝状态，且 。 qreject≠qaccept 图灵机 的方式运作 开始的时候将输入符号串??从左到右依此填在纸带的第??号格子上， 其他格子保持空白(即填以空白符)。 M 的读写头指向第 0 号格子， M 处于状态 q0。 机器开始运行后，按照转移函数 δ 所描述的规则进行计算。 例如，若当前机器的状态为 q，读写头所指的格子中的符号为 x， 设 δ(q,x) = (q,x,L)， 则机器进入新状态 q， 将读写头所指的格子中的符号改为 x， 然后将读写头向左移动一个格子。 若在某一时刻，读写头所指的是第 0 号格子， 但根据转移函数它下一步将继续向左移，这时它停在原地不动。 换句话说，读写头始终不移出纸带的左边界。 若在某个时刻 M 根据转移函数进入了状态 qaccept， 则它立刻停机并接受输入的字符串； 若在某个时刻 M 根据转移函数进入了状态 qreject， 则它立刻停机并拒绝输入的字符串。 问题分类 易处理的（tractable） ：确定性图灵机上能够在多项式时间内得到处理的问题。称易处理问题的全体为“多项式时间可解类”，记为P。 难处理的（untractable） ：确定性图灵机上不能够在多项式时间内得到处理的问题。 不可判定的(undecidable):对于有