信息安全数学基础（计算复杂性）.ppt

* * * * * * * * * * * * * * T(ab mod n)=T(ab) + T(ab=qn+r)=O(log^2)+O(logn logq)=O(logn^2) T(a/b mod n)=T(b^-1 mod n)+T(ab^-1 mod n)=O(lgn^2)+O(logn^2)=O(logn^2) * T(ab mod n)=T(ab) + T(ab=qn+r)=O(log^2)+O(logn logq)=O(logn^2) T(a/b mod n)=T(b^-1 mod n)+T(ab^-1 mod n)=O(lgn^2)+O(logn^2)=O(logn^2) * * * * * * * * * * * * * * １９００年，德国数学家希尔伯特在巴黎举行的国际数学家大会上提出了２３个数学问题，认为这些是人类在２０世纪里应该努力去解决的问题。一百年之后，美国克雷数学研究所相对应地提出了七大数学难题，并设立百万美元巨奖征集答案。 ????由于克雷研究所设奖征答适逢千年之交，因此这７个数学难题又被称为“七大千年数学难题”。 ????希尔伯特提出的２３个数学难题中包括哥德巴赫猜想等至今未获完全证明的难题，也包括“两个等底等高的四面体体积相等”这样一经提出便获证明的命题。 ????克雷研究所提出的七大难题分别为：庞加莱猜想、Ｐ与ＮＰ问题、黎曼假设、杨－米尔理论、纳威厄－斯托克斯方程、波奇和斯温纳顿－戴雅猜想和霍奇猜想。与希尔伯特提出的２３个数学难题相比，这些难题更加“精挑细选”。 * * * * * * * 了检验一台机器是否能合情理地被说成在思想，人工智能的始祖阿伦?图灵提出了一种称作图灵试验的方法。此原则说：被测试的有一个人，另一个是声称自己有人类智力的机器。测试时，测试人与被测试人是分开的，测试人只有通过一些装置（如键盘）向被测试人问一些问题，这些问题随便是什么问题都可以。问过一些问题后，如果测试人能够正确地分出谁是人谁是机器，那机器就没有通过图灵测试，如果测试人没有分出谁是机器谁是人，那这个机器就是有人类智能的。目前还没有一台机器能够通过图灵测试，也就是说，计算机的智力与人类相比还差得远呢。比如自动聊天机器人。 关于图灵机的另一个重要结论是图灵机停机问题(The Halting Problem)的不可判定性. 图灵机停机问题: 能否给出一个判断任意一个图灵机是否停机的一般方法? 答案是 NO, 不可能. 这个问题实际上是问: 是否存在一台万能的图灵机 H, 把任意一台图灵机 M 输入给 H, 它都能判定 M 最终是否停机, 输出一个明确的 yes 或 no 的答案? 可以利用反证法来证明这样的 H 不可能存在.假定存在一个能够判定任意一台图灵机是否停机的万能图灵机 H(M), 如果 M 最终停机, H 输出 halt; 如果? M 不停机,? H 输出 loop. 我们把 H 当作子程序, 构造如下程序 P: function P(M) { if (H(M)==loop)? ?return halt; else if (H(M)==halt)? while(true); // loop forever } 因为 P 本身也是一台图灵机, 可以表示为一个字符串, 所以我们可以把 P 输入给它自己, 然后问 P(P) 是否停机. 按照程序 P 的流程, 如果 P 不停机无限循环, 那么它就停机, 输出halt; 如果 P 停机, 那么它就无限循环, 不停机; 这样无论如何我们都将得到一个矛盾, 所以假设前提不成立, 即不存在这样的 H. 或者说, 图灵机停机问题是不可判定的(undecidable). * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 算法复杂性（续） * 算法复杂性（续） * 算法复杂性（续） * 算法复杂性（续） * 算法复杂性（续） * 算法复杂性（续） * 算法复杂性（续） * 如果将模运算视为基本运算单位（即一次模运算花费一个时间单位），则算法的时间复杂度为2max(|a|,|b|)。 算法复杂性（续） * 算法复杂性（续） * 计算复杂性在信息安全中的应用 在信息安全中，很难界定一个密码体制是否是安全的。 在经典密码学中，安全性的判定是基于信息论的。 信息论关注的是密文当中到底包含多少关于明文的信息。 密文中关于明文的信息量越大，密码体制就越不安全。 而只有当密文中不包含关于明文的信息时，密码体制才是绝对安全的。 香农证明过这种完美的安全性只有当密钥跟明文长度相等时，才能达到。 这种安全性限制下的密码体制，其应用是非常困难。 * 计算复杂性在信息安全中的应用（续） 在现代密码学