搜索

[10566] 2016-10-04_你相信存在没有漏洞的代码吗？美国人正在研究

文档创建者：s7ckTeam
浏览次数：109
最后更新：2025-01-18
2016-10-04_你相信存在没有漏洞的代码吗？美国人正在研究 你 相 信 存 在 没 有 漏 洞 的 代 码 吗 ？ 美 国 人 正 在 研 究 米 雪 儿   F r e e B u f   2 0 1 6 - 1 0 - 0 4 万 物 互 联 时 代 的 到 来 ， 除 了 为 人 们 的 生 活 提 供 了 便 利 也 带 来 了 众 多 安 全 隐 患 ， 越 来 越 多 的 设 备 更 容 易 遭 受 黑 客 攻 击 。 有 没 有 可 能 诞 生 一 种 无 法 被 入 侵 的 代 码 ？ D A R P A （ 美 国 国 防 部 高 级 研 究 计 划 局 ） 有 个 （ 美 国 国 防 部 高 级 研 究 计 划 局 ） 有 个 H A C M S 项 目 ， 即 项 目 ， 即 “ 高 可 信 军 事 网 络 系 统 高 可 信 军 事 网 络 系 统 ” （ （ H i g h - A s s u r a n c e   C y b e r   M i l i t a r y   S y s t e m s )   ， 开 发 的 主 要 是 ， 开 发 的 主 要 是 “ f o r m a l   v e r i f i c a t i o n ” 技 术 。 而 项 目 目 标 就 是 让 黑 客 难 以 入 侵 到 诸 如 无 人 机 、 军 事 指 挥 控 制 网 络 系 统 中 。 技 术 。 而 项 目 目 标 就 是 让 黑 客 难 以 入 侵 到 诸 如 无 人 机 、 军 事 指 挥 控 制 网 络 系 统 中 。 互 联 网 鼻 祖 互 联 网 鼻 祖 D A R P A （ 美 国 国 防 部 高 级 研 究 计 划 局 ） （ 美 国 国 防 部 高 级 研 究 计 划 局 ） 如 今 我 们 每 天 都 会 使 用 互 联 网 ， 而 你 是 否 考 虑 过 网 络 是 由 谁 发 明 的 呢 ？ 因 特 网 的 发 明 最 初 的 用 户 群 并 非 普 通 人 ， 而 是 国 家 军 事 机 构 ， 而 我 们 用 的 因 特 网 是 后 来 转 变 出 来 的 。 如 果 说 到 因 特 网 的 发 明 者 不 得 不 提 到 美 国 的 一 个 神 奇 的 机 构 ： 美 国 国 防 部 高 级 研 究 计 划 局 （ D A R P A ） 。 D A R P A 成 立 于 美 苏 冷 战   的 D w i g h t   D a v i d   E i s e n h o w e r （ 艾 森 豪 威 尔 ， 3 4 任 总 统   ） 任 期 内 ， 目 的 是 为 美 国 开 发 尖 端 技 术 。 D A R P A 隶 属 于 五 角 大 楼 ， 是 美 国 国 防 部 一 个 非 常 特 殊 的 部 门 。 半 个 世 纪 以 来 ， D A R P A 都 对 我 们 的 生 活 产 生 了 巨 大 影 响 。 我 们 现 在 熟 知 的 因 特 网 、 隐 身 技 术 、 移 动 G P S 等 都 是 来 自 于 D A R P A 这 个 部 门 。 我 们 都 已 经 知 道 因 特 网 是 D A R P A 研 发 出 的 ， 而 网 络 黑 客 也 是 因 这 项 技 术 衍 生 出 的 。 技 术 和 互 联 网 的 迅 速 崛 起 成 为 安 全 漏 洞 频 发 的 借 口 ， 对 于 高 级 黑 客 而 言 ， 入 侵 复 杂 的 系 统 就 如 同 小 孩 过 家 家 。 脆 弱 的 系 统 和 技 能 先 进 的 黑 客 日 益 威 胁 着 用 户 的 安 全 。 如 今 ， 如 今 ， D A R P A 表 示 自 己 正 在 在 表 示 自 己 正 在 在 “ 防 黑 客 防 黑 客 ” 电 脑 系 统 上 做 出 技 术 努 力 ， 这 个 项 目 被 称 为 电 脑 系 统 上 做 出 技 术 努 力 ， 这 个 项 目 被 称 为 H A C M S （ 高 可 信 军 事 网 络 系 统 （ 高 可 信 军 事 网 络 系 统 ) 。 。 据 悉 ， D A R P A 邀 请 了 一 批 “ 从 良 ” 黑 客 参 与 测 试 ， H A C M S 在 研 发 过 程 中 让   这 些 白 帽 子 黑 客 肆 意 入 侵 系 统 ， 他 们 展 示 了 多 种 方 法 ， 可 以 轻 松 破 解 没 有 安 装 H A C M S 的 系 统 和 网 络 ； 但 是 在 尝 试 入 侵 安 装 了 H A C M S 的 系 统 时 ， 没 有 一 个 人 成 功 。   而 这 项 技 术 目 前 已 经 开 始 被 诸 如 医 疗 设 备 等 民 用 领 域 付 诸 实 践 ， 并 且 在 G i t h u b 上 公 布 了 源 代 码   。
尝 试 攻 击 尝 试 攻 击 “ 小 鸟 小 鸟 ” 无 人 直 升 机 无 人 直 升 机 去 年 夏 天 ， 亚 利 桑 那 州 某 黑 客 团 队 尝 试 控 制 波 音 的 “ 小 鸟 ” （ L i t t l e   B i r d ） 无 人 军 事 直 升 机 。 该 黑 客 团 队 一 开 始 就 被 授 权 了 “ 小 鸟 ” 计 算 机 系 统 的 一 部 分 访 问 权 限 。   他 们 要 做 的 就 是 入 侵 “ 小 鸟 ” 的 机 载 飞 行 控 制 计 算 机 ， 进 而 控 制 整 架 直 升 机 — — 这 对 他 们 而 言 原 本 就 不 应 该 是 什 么 难 事 。 但 是 作 为 H A C M S 项 目 的 一 部 分 ， 事 情 当 然 不 会 如 此 简 单 。   D A R P A 的 工 程 师 们 为 “ 小 鸟 ” 开 发 了 一 种 新 的 安 全 机 制 ： 一 个 无 法 被 攻 占 的 软 件 系 统 。 D A R P A 给 了 该 黑 客 团 队 6 周 时 间 ， 该 团 队 始 终 没 能 攻 破 “ 小 鸟 ” 无 人 军 事 直 升 机 计 算 机 系 统 的 。 这 其 中 还 需 要 考 虑 到 ， 在 攻 击 之 前 ， 黑 客 团 队 就 有 一 定 的 访 问 权 限 ， 可 即 便 如 此 也 仍 旧 不 行 。 高 可 靠 性 军 事 网 络 系 统 ( H A C M S ) 项 目 发 起 人 、 美 国 塔 夫 斯 大 学 计 算 机 科 学 教 授   K a t h l e e n   F i s h e r   表 示 ： “ 黑 客 们 无 法 以 任 何 方 式 扩 大 控 制 并 干 扰 机 器 运 行 。 这 一 结 果 让 美 国 国 防 部 高 级 研 究 计 划 局 非 常 高 兴 ， 他 们 说 现 在 终 于 能 用 这 一 技 术 来 保 护 核 心 计 算 机 系 统 了 。 ” “ 小 鸟 小 鸟 ” 无 人 军 事 直 升 机 计 算 机 部 署 的 新 系 统 使 用 的 技 术 为 形 式 验 证 无 人 军 事 直 升 机 计 算 机 部 署 的 新 系 统 使 用 的 技 术 为 形 式 验 证 ( f o r m a l   v e r i f i c a t i o n )   ， 它 的 代 码 就 像 数 学 证 明 一 样 可 靠 。 每 一 个 证 明 在 逻 辑 上 都 承 接 上 一 个 证 明   。 一 个 这 样 的 程 序 可 以 像 证 明 数 学 定 理 一 样 ， 无 论 如 何 测 试 都 一 定 会 得 到 正 确 的 结 果 。 微 软 研 究 院 研 究 形 式 验 证 和 安 全 的 研 究 员   B r y a n   P a r n o   表 示 ： “ 你 写 下 的 数 学 公 式 就 是 用 来 描 述 程 序 行 为 的 ， 再 利 用 一 些 证 明 检 查 器 来 检 查   证 明 的 正 确 性 。 ” 整 个 过 程 包 括 ， 反 复 检 查 代 码 是 否 遵 守 预 定 义 形 式 规 范 （ f o r m a l   s p e c i f i c a t i o n ） ， 这 里 的 形 式 规 范 定 义 了 程 序 要 做 什 么 。 打 个 比 方 ， 比 如 你 要 给 无 人 驾 驶 汽 车 编 写 一 个 把 你 送 到 百 货 商 店 的 计 算 机 程 序 ， 你 需 要 定 义 让 汽 车 实 现 这 一 目 的 的 动 作 ： 汽 车 可 以 左 转 或 右 转 、 刹 车 或 加 速 、 启 动 或 停 车 。 最 终 ， 你 的 程 序 就 是 为 了 实 现 这 一 目 的 而 对 基 本 操 作 进 行 的 合 理 组 合 ， 要 求 是 把 你 送 到 百
货 商 店 而 不 是 机 场 。 H A C M S 团 队 就 是 将 这 一 区 块 化 的 软 件 安 装 到 了 “ 小 鸟 ” 无 人 军 事 直 升 机 上 。 在 和 黑 客 团 队 的 较 量 中 ， 他 们 先 让 黑 客 们 可 以 访 问 某 一 次 要 功 能 如 摄 像 头 的 代 码 ， 但 黑 客 们 肯 定 会 被 困 住 ， 因 为 这 经 过 了 数 学 证 明 。 K a t h l e e n   F i s h e r   说 道 ： “ 我 们 用 机 器 从 数 学 上 证 明 了 红 方 肯 定 无 法 突 破 这 一 代 码 块 ， 因 此 他 们 无 法 突 破 也 就 很 顺 理 成 章 了 。 结 果 与 定 理 一 致 ， 也 很 好 确 认 。 ” 在 “ 小 鸟 ” 无 人 军 事 直 升 机 上 测 试 后 ， D A R P A 还 开 始 将 f o r m a l   v e r i f i c a t i o n 技 术 应 用 到 其 他 军 事 技 术 上 ， 比 如 卫 星 和 无 人 驾 驶 载 重 卡 车 。 现 在 ， 不 仅 是 国 防 组 织 （ 如   D A R P A ） 一 直 致 力 于 形 式 验 证 技 术 ， 就 连 微 软 、 亚 马 逊 等 科 技 公 司 也 在 不 断 加 注 投 资 ， 进 行 相 关 产 品 的 研 究 。 微 软 研 究 院 的 软 件 工 程 师 们 已 经 在 进 行 两 个 雄 心 勃 勃 的 形 式 验 证 项 目 。 第 一 个 项 目 名 为   E v e r e s t ， 旨 在 打 造 经 过 形 式 验 证 的   H T T P S   协 议 。 第 二 个 项 目 则 是 为 拥 有 复 杂 物 联 网 系 统 的 无 人 机 开 发 一 个 正 式 的 规 范 。 随 着 越 来 越 多 的 关 键 社 会 职 能 转 移 到 网 上 ， 研 究 人 员 们 对 形 式 软 件 验 证 技 术 的 兴 趣 也 越 来 越 浓 厚 。 在 以 前 ， 计 算 机 还 只 是 局 限 于 家 里 和 办 公 室 ， 程 序 漏 洞 最 多 也 就 是 让 使 用 者 感 到 不 便 。 但 现 在 ， 程 序 漏 洞 可 能 会 导 致 巨 大 危 害 ， 任 何 具 备 相 关 知 识 的 人 都 能 利 用 同 一 漏 洞 自 由 地 进 出 某 个 计 算 机 系 统 。 同 时 ， 物 联 网 也 在 短 短 几 年 间 实 现 爆 发 式 增 长 ， 智 能 家 居 、 智 慧 城 市 正 逐 渐 渗 透 入 我 们 的 生 活 ， 这 将 势 必 为 黑 客 入 侵 提 供 更 多 场 所 。 期 待 此 次 技 术 开 发 能 改 变 目 前 严 峻 的 网 络 局 势 。 * 原 文 链 接 ： s e c u r i t y n e w s p a p e r 、 米 雪 儿 编 译 ， 转 载 请 注 明 来 自 F r e e B u f . C O M
回复

举报

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

本版积分规则

Archiver|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理