钻山豹 发表于 2011-1-30 17:38

科学家开发出没有漏洞的安全软件（转）

{:3_222:}
http://www.hindustantimes.com/World-s-first-hack-free-software-developed/H1-Article1-655632.aspx
学家开发出没有漏洞的安全软件

blackhat 发表于 2011年1月29日 19时24分 星期六
来自死亡圣器部门
http://solidot.org/images/topics/topicsecurity.gifhttp://solidot.org/images/topics/topicos.gifhttp://solidot.org/images/topics/topicsoftware.gif
科学家声称开发出世界上第一种没有漏洞的软件，它能防止系统崩溃或恶意攻击。澳大利亚Open Kernel Labs领导开发了seL4微内核，其独一无二的功能是在数学上精确验证软件是否正确运行，能将不受信任的软件和可信的软件分离开，保护关键的服务，防止系统崩溃或恶意攻击。领导开发的科学家Gerwin Klein称，seL4微内核是目前唯一一种操作系统内核，其源代码已经在数学上证明能正确执行规范。

不朽星辰 发表于 2011-1-30 17:44

这个软件一定很好很强大！期待

feng1734 发表于 2011-1-30 17:55

这是给黑客发的邀请函么,,,,,,,,,,,,,,,,,

mill 发表于 2011-1-30 18:11

这是给黑客发的邀请函么,,,,,,,,,,,,,,,,,
feng1734 发表于 2011-1-30 17:55 http://www.astronomy.com.cn/bbs/images/common/back.gif


    厚厚 或者说挑战书

l9688874156 发表于 2011-1-30 19:41

是人做的东西总会有漏洞

河之舟 发表于 2011-1-30 19:44

只要是软件，漏洞依然存在！

evan 发表于 2011-1-30 21:27

这世上不可能存在没有漏洞的软件

驫駥 发表于 2011-2-3 00:20

同意LS的觀點，只要是軟件，肯定會有BUG!

迪达 发表于 2011-2-7 17:27

世界上没有绝对的无漏洞！

wangtong 发表于 2011-2-8 18:58

微软公司怎么样，他的软件月月打补丁都打不完。
页: [1]
查看完整版本: 科学家开发出没有漏洞的安全软件（转）