 有关山东大学王小云教授破解MD5和SHA-1的报道,让人对电子信息的安全性颇为关注,真相究竟如何?
* m5 ^. p" P3 \5 {6 D! M7 x 要问当今众生,在日常生活中什么对你最重要,什么让你最头痛?相信很多人的回答是密码。“请您输入密码,请再输一遍”,无论是在银行柜台还是在网上冲浪,这样的提示对我们已是司空见惯。银行密码、登录密码、邮箱密码、各种游戏的密码、各个用户名的密码……密码已是世人生活中不可或缺的一部分。最近有关山东大学王小云教授破解MD5和SHA-1报道频频见诸报端,使人们对电子信息的安全性颇为关注,密码真的不可靠了吗?
' K# x: e2 J0 V/ i7 Z: P& J 何谓破解
) {5 N$ h* o$ U3 G$ }: \ 信息安全国家重点实验室教授、密码学专家翟起滨在办公室平静地告诉记者:“MD5和SHA-1属于散列算法,从设计原理来讲,就有产生碰撞的可能,王小云教授的方法缩短了找到碰撞的时间,是一项重要的成果。但她找到的是强无碰撞,要能找到弱无碰撞,才算真正破解,才有实际意义。”
. ?3 T2 N d) S7 [" V1 o
" G' S: @0 ~; z% y8 k- g% P) Y 根据密码学的定义,如果内容不同的明文,通过散列算法得出的结果(密码学称为信息摘要)相同,就称为发生了“碰撞”。散列算法的用途不是对明文加密,让别人看不懂,而是通过对信息摘要的比对,防止对原文的篡改。1 h1 e7 n0 b {9 r$ `8 g7 t
作为中国出席“Crypto′2004”和“RSA 2005”年会的唯一正式代表,翟起滨教授特别强调:“碰撞分为‘强无碰撞’和‘弱无碰撞’。强无碰撞是无法产生有实际意义的原文的,也就无法篡改和伪造出有意义的明文。”通过强无碰撞伪造一个谁也看不懂的东西,没有实际意义。翟教授还让记者浏览了“RSA 2005”年会的会议摘要,国际密码学专家沙米尔(Shamir)在“RSA 2005”年会上就王小云教授找到一对强无碰撞发表观点:“这是个重要的事情,但不意味着密码被破解。”$ S- Y% L0 f* b0 G( s3 \: I* X1 c" O
" s8 G% @& d* n
现实无忧
m9 D8 A& J) K. T2 P+ ~" {6 C “找到一对强无碰撞和找到有实际意义的碰撞,是有本质区别的。”翟教授认为破解的说法不确切。他介绍说:“在‘RSA 2005’年会上,专家们认为SHA-1目前绝对安全,再使用5~10年没问题,计划在2010年以后考虑更换。”- O% Y2 _% u# F
$ u& H5 i6 a9 [
我们知道理论上破解密码的方法,如果要在现实中实现,需要通过超级计算机海量的计算,所需时间一般是成千上万年。在实际应用中,破解时间太长意味着破解将失去现实意义。, s! p! r0 P k I8 L
中国金融认证中心(CFCA)的技术顾问、原中国建设银行科技部总工程师,曾参加《电子签名法》制定的关振胜介绍:“目前网上银行的认证采用多次散列算法的加密手段。如B to B的交易,首先对网上银行的表单进行SHA-1的摘要计算;然后对客户填写的信息再计算;最后银行收到信息后还要进行签名。如果要篡改其中的信息,必须破解3次(前提是能破解,现在还做不到),既使是你若干天或若干月后破解了,交易早已完成。同时,信息摘要的传输还要在PKI体系(公钥基础设施)下进行,PKI体系现在大多应用RSA算法,该算法的安全性大可放心。所以,对于银行这样的实时系统,篡改信息影响交易过程是绝对不可能的。”3 x; o4 o2 A+ a
0 O0 T3 F% q- g* U 如果集中所有的军用超级计算机来破解怎么办?哪我们想想,穷全美国之力,破解你一笔商业交易干什么。像散列算法这么弱的算法,政府部门是根本不会采用的。( ?9 @ |9 Y( E: Q# _2 H% ~
另外,关总还介绍说:“伪造数字证书也是不可能的。数字证书包含了很多特定内容,只有具备了包括序列号等一系列特定信息,这个证书才有意义。根据特定的原文内容,伪造出相应的摘要信息是根本做不到的。”9 g+ B- L) O2 m
' e! Y& a4 i X# E% h- X& `- ? 我们看到,如果找不到弱无碰撞,或即使找到弱无碰撞但找不到超大型计算机,想干点篡改和伪造的勾当是不可能的。况且,当管理部门一旦发现算法的安全性可能出现风险,换一个新的算法不存在难度。
$ m* B: o2 N! F 从事计算机安全的厂商,对所谓密码破解均不以为然。他们认为,任何产品都有生命周期,产品技术的改进工作时刻都在进行。虽然有人说密码算法不安全,但现在没有任何实质的危害发生。信息安全有多种防范措施保证,散列算法只是其中较弱的一种,不必过分担心。
# V0 t1 d! ~ M) J 魔高一尺,道高一丈。随着技术的发展,任何手段都不可能永远不变。当今世界是安全的,大可不必为了密码寝食难安。
* C8 |% s( g! V, t) A( Z- Z$ U 产生了碰撞,就带来了问题。王小云等人发现了当前所用的散列算法存在的问题,必将帮助未来的新的散列算法设计者考虑到这方面的问题,使得新的散列算法具有更好的安全性。比如DES开始不安全以后,更多更强的加密手段也一一涌现。不管破解的结果如何,王小云教授的成果足以让我们振奋,对商用密码的研究起了促进作用。 链接一
8 J5 p( B% m1 \# F 什么是强无碰撞和弱无碰撞
& m+ Y3 x+ {4 K 散列函数h称为是弱无碰撞的,是指对给定消息x∈ X ,在计算上几乎找不到异与x的x'∈ X,使h?x?=h?x'?。散列函数h被称为是强无碰撞的?是指在计算上几乎不可能找到相异的x、 x',使得h?x?=h?x'?。弱无碰撞是对给定的消息x,就是对你想伪造的明文,进行运算得出相同的摘要信息。也就是说你可以控制明文的内容。强无碰撞是指能找到相同的摘要信息,但伪造的明文是什么并不知道。数字签名最多的是文本内容? 也就是人类可读内容,如果你产生一个人类不可读的碰撞? 并不会对于原文产生重大影响。王小云教授找到的是强无碰撞。
! A& ^# P' ]; h$ s# N0 U
0 l& p+ W7 J6 M/ M; c 链接二
& l# d1 B1 A0 `# i 数字签名与验证过程3 q1 P/ I. z3 {- d
网上通信的双方,在互相认证身份之后,即可发送签名的数据电文。数字签名的全过程分两大部分,即签名与验证。
" M8 U( C/ U8 y 数字签名操作过程
; t( {$ F& p2 y 数字签名操作具体过程如下:首先是生成被签名的电子文件(《电子签名法》中称数据电文),然后对电子文件用散列算法做数字摘要,再对数字摘要用签名私钥做非对称加密,即作数字签名;之后是将以上的签名和电子文件原文以及签名证书的公钥加在一起进行封装,形成签名结果发送给收方,待收方验证。
+ Q- n! t! _; c$ [8 ~ 数字签名验证过程
2 C, h% A7 @, f6 N" `6 R 接收方收到数字签名的结果,其中包括数字签名、电子原文和发方公钥,接收方进行签名验证。验证过程是:接收方首先用发方公钥解密数字签名,导出数字摘要,并对电子文件原文做同样散列算法得出一个新的数字摘要;将两个摘要进行结果比较,结果相同则签名得到验证,否则签名无效。这就做到了《电子签名法》中所要求的对签名不能改动,对签署的内容和形式也不能改动的要求。
8 J* m; e9 w; a/ t( N
" O0 Y& |4 a' Z1 } 数字签名的作用) @) x0 T7 K9 r6 ~7 W
如果接收方对发送方数字签名验证成功,就可以说明以下三个实质性的问题:1 q, t) N/ y( x2 p5 C* E
(1)& v* r' k) P2 v/ e8 r ]6 |; M
该电子文件确实是由签名者的发送方发出的,电子文件来源于该发送者。因为,签署时,电子签名数据由电子签名人所控制。/ ]: J& I; F3 E: [
(2)$ B; S# L, K1 a" r- h# h
被签名的电子文件确实是经发送方签名后发送的,说明发送方是用了自己的私钥做的签名,并得到验证,达到不可否认的目的。/ m$ I- h! }/ ]( f8 c1 R
(3)0 @1 \% h; J! S9 v% ~/ e P
接收方收到的电子文件在传输中没有被篡改,保持了数据的完整性。因为,签署后对电子签名的任何改动都能够被发现。8 h( A' c# ]$ J* H8 B& z) @
6 S1 _& H( J% _$ `' q. q6 E 链接三
* m; x) R# ~/ }" ` 什么是数字证书
: } M9 W' V& \- h) [ 数字证书,简称为证书,它是PKI(公钥基础设施)的核心元素,由认证机构服务者所签发,它是数字签名的技术基础保障。它符合X.509标准,是网上实体身份的证明,证明某一实体的身份以及其公钥的合法性,证明该实体与公钥二者之间的匹配关系。证书是公钥的载体,证书上的公钥唯一与实体身份相绑定。证书在公钥体制中是密钥管理的媒介,不同的实体可以通过证书来互相传递公钥。证书由权威、可信任和公正的第三方机构所签发。
/ E' d" [+ B( i8 f3 D( q
记者手记
* \; G G5 G, \7 ? 别让名利撞了腰
5 T7 S" D; ^' } 人们的衣食住行需要经济实力支持,进行科学研究也离不开设备和经费。社会越来越现实。在信息化社会里,名很容易就能带来利。发布点利好消息,股票就能上涨;整几个新概念,企业就能吸引来投资;各种学历、职称都能增加你的收入。
8 ^5 d& X4 z. p4 v
7 H. k( b& l3 H% y记者采访的几位专家,对王小云教授的科研成果给予了积极的肯定。国际密码学专家对王小云教授的研究成果也是称赞有加,说她发明的“模差分”方法有着重要的理论意义和实用价值。在现今物欲横流的社会,需要大量像王小云教授这样实实在在进行科学探索的学者。翟起滨教授一再强调,对王小云教授的研究工作应给予支持。' s1 u0 g. H3 P% R5 W
3 l5 u6 @2 H8 R/ E# E但记者最近还是嗅到了某些名利的味道。从网站、论坛到纸媒体,从“根基动摇”到“大厦将倾”,怎么看都觉得有忽悠的成分。6 F& A( k5 Q, f
! K' l. b9 a5 X7 o( o7 s3 M5 t0 k8 |
报道者不一定是这方面的专家,报道与事实有点出入在所难免。遗憾的是,在山东大学信息安全实验室的网站里,发现类似的文章竟然链接在醒目的位置。这就让人有点想法了。踏踏实实做学问应该大力提倡,不过要注意方式方法。还是让名利离科学远点。
) Q9 D9 l8 a& d |- L另:我们有必要为了长自己的志气就夸大其词,并且一再的以讹传讹么?如果真的如那些文章所言,MD5与SHA-1早在2004-2005年就已被破解,我们的银行等涉密单位居然到现在还在使用这些算法岂不是把百姓的财产当儿戏?必须指出,像百度百科这样的知识类网站,理应有一个体系来保证名词解释的相对正确性,可是它没有这么做,相当一部分大陆网站在这一点上非常的不负责任。当然,如果为了名利去到处胡吹,那就更恶劣了。
|