4000-921-999 周一~周五, 10:00 - 19:00

密码界的“女神” (2)

日期: 2023-03-08 17:01:56 作者: 点击数:   返回

      1974年,年仅35岁的Liskov已经成为麻省理工学院的教授,并且带领她的学生发明了一种新的编程语言——CLU。这是学术界公认的,计算机早期历史上最完善的程序设计语言之一。虽然没有被广泛采用,但其代码思想为后来众多高级语言的设计与实现奠定了基础,成为其后大多数新语言设计的起点;我们所熟知的C++、Java、C#、Python,无一不受到CLU语言的影响。
       此外,Liskov还在CLU的基础上实现了一种分布式程序设计语言Argus,其设计思想和原理成为当今网络环境下分布式系统设计的基础,也是如今我们广泛使用的搜索引擎的基础。近期,她将研究重点转向容错系统方面,并且开发出名为“拜占庭”的分布式容错系统。这一系列的研究成果,对于互联网时代数据的一致性、安全性等都具有重大的意义。
      Liskov曾说:“设计足够强大的东西是一门艺术。”知道了方法论并不意味着就擅长设计。Liskov正是像诗人推敲字句那样,埋头在计算机语言的世界里,于一次次锲而不舍的实践中,精心打磨着她的艺术品。
      现代密码学的奠基人——ShafiGoldwasser
      2012年,ShafiGoldwasser和伯克利校友、麻省理工学院同事SilvioMicali,凭借其在密码学和复杂理论领域做出创举性工作,共同获得了图灵奖的荣誉,Goldwasser也成为历史上第三位获得图灵奖的女性。
早在1982年,Goldwasser就和Micali一起提出了概率加密的概念,即用公共密钥加密算法,使得公钥体制信息不被泄漏,隐藏明文的部分信息,从而达到语义上的安全;通俗地讲,经过概率加密后,相同的信息会形成不同的明文,相同的谜底会生成不同的谜面。这一发明,奠定了现代密码学的基础,也成为互联网时代信息安全的黄金准则。
       有意思的是,这一发明的灵感源于二人在研究生时期的游戏。为了确保使用电话玩扑克牌游戏的公平性,他们设计了一种方案来加密和保全每个单位数据。而这就是概率加密的雏形。在那之后,Goldwasser和Micali证明了这个方法可以扩大到解决更复杂的问题,如用于通信协议和互联网交易等领域。