设为首页收藏本站
切换到窄版

 找回密码
 立即注册
搜索
热搜: 活动 交友 discuz
Nmaps Club»论坛 › Pentests Wiki › Wiki › 系统 › [22939] 2014-08-03_“世界上最可靠的操作系统”seL4开 ...
返回列表 发新帖
查看: 2|回复: 0

[22939] 2014-08-03_“世界上最可靠的操作系统”seL4开源了！

[复制链接]
s7ckTeam

6万

主题

-6万

回帖

-58

积分

管理员

积分
-58
发表于 5 天前 | 显示全部楼层 |阅读模式
2014-08-03_“世界上最可靠的操作系统”seL4开源了！ “ 世 界 上 最 可 靠 的 操 作 系 统 ” s e L 4 开 源 了 ！ L i n u x 中 国   2 0 1 4 - 0 8 - 0 3 一 个 宣 称 是 “ 世 界 上 最 可 靠 的 操 作 系 统 ” 的 、 由 澳 大 利 亚 开 发 的   S e c u r e   E m b e d d e d   L 4 （ 简 称 s e L 4 ） 微 内 核 现 在 面 向 全 球 开 源 了 。 L 4 是 一 组 基 于 微 内 核 构 架 的 操 作 系 统 内 核 。 五 年 前 ， 澳 大 利 亚 研 究 组 织 N I C T A 创 造 了 一 个 新 的 L 4 版 本 ， 称 为   S e c u r e   E m b e d d e d   L 4 ， 宣 布 在 世 界 上 率 先 开 发 出 第 一 个 正 规 机 器 检 测 证 明 （ f o r m a l   m a c h i n e - c h e c k e d   p r o o f ） 通 用 操 作 系 统 。 s e L 4 微 内 核 设 计 针 对 实 时 应 用 ， 可 潜 在 应 用 于 强 调 安 全 和 关 键 性 任 务 的 领 域 内 ， 如 军 用 和 医 疗 行 业 。 该 系 统 的 开 源 版 本 包 括 所 有 s e L 4 内 核 的 源 代 码 、 证 明 和 规 范 ， 再 加 上 过 去 五 年 中 开 发 的 一 系 列 额 外 程 序 ， 如 工 具 、 库 和 可 用 于 建 立 值 得 信 赖 的 系 统 的 示 例 程 序 。   N I C T A 软 件 系 统 研 究 组 长 G e r n o t H e i s e r 表 示 ， 今 天 的 关 键 软 件 有 根 本 性 的 弊 端 。   “ 通 过 开 放 s e L 4 ， 我 们 希 望 为 全 球 的 开 发 人 员 创 建 一 个 可 靠 的 系 统 社 区 ， 其 应 用 领 域 从 国 家 安 全 到 汽 车 、 机 械 植 入 器 、 工 业 自 动 化 和 企 业 B Y O D ” 。 s e L 4 代 码 托 管 地 址 ： 代 码 托 管 地 址 ：   h t t p s : / / g i t h u b . c o m / s e L 4 / s e L 4 s e L 4 项 目 主 页 ： 项 目 主 页 ： h t t p : / / s e l 4 . s y s t e m s / 阅 读 原 文

回复

举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver|手机版|小黑屋|Nmaps Club

GMT+8, 2025-1-23 10:21 , Processed in 0.191077 second(s), 29 queries .

Powered by Discuz! X3.5

© 2001-2025 Discuz! Team.

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