设为首页收藏本站
开启辅助访问 切换到宽版

 找回密码
 加入牧夫（请注明天文爱好者，否则无法通过审核，请勿使用gmail/outlook/aol/icloud邮箱注册）

QQ登录

只需一步，快速开始

搜索
返回列表 发新帖

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

[复制链接]
钻山豹 发表于 2011-1-30 17:38 | 显示全部楼层 |阅读模式 来自： 中国–广东–佛山 联通

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要 登录 才可以下载或查看，没有账号？加入牧夫（请注明天文爱好者，否则无法通过审核，请勿使用gmail/outlook/aol/icloud邮箱注册）

×

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

blackhat 发表于 2011年1月29日 19时24分 星期六  
来自死亡圣器部门

                               
登录/注册后可看大图

                               
登录/注册后可看大图

                               
登录/注册后可看大图

科学家声称开发出世界上第一种没有漏洞的软件，它能防止系统崩溃或恶意攻击。澳大利亚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

                               
登录/注册后可看大图



    厚厚 或者说挑战书
回复 顶~ 砸~

使用道具 举报

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 | 显示全部楼层 来自： 中国–天津–天津 中移铁通
微软公司怎么样，他的软件月月打补丁都打不完。
回复 顶~ 砸~

使用道具 举报

返回列表 发新帖

本版积分规则

APP下載|手机版|爱牧夫天文淘宝店|牧夫天文网 ( 公安备案号21021102000967 )|网站地图|辽ICP备19018387号

GMT+8, 2025-1-30 01:36 , Processed in 0.050179 second(s), 5 queries , Gzip On, Redis On.

Powered by Discuz! X3.5 Licensed

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表