关于计算机软件安全检测技术的研究

计 算机 光 盘软 件 与应 用
２１ ０ １年第 ２ ３期
Ｃ ｍ ｕ ｅ ＤＳ ｆ ｗ ｒ ｎ ｐ ｌ ｃ ｔ ｏ ｓ ｏ ｐ ｔ ｒＣ ｏ ｔ ａ ｅａ ｄＡ ｐ ｉａ ｉｎ 工 程 技 术
关于计算机软件安全检测技术的研究
周 晓 成
（ 丽水 学院，浙 江丽水 ３ ３ ０ ２０ ０）
一
总之 ，计 算机 软件 安 全检 测是 安全 体 系 中必不 可 少的 组成 部 分 ，计算 机软 件 安全检 测 对计 算机 软件 的 应用 来讲 ， 是促进 其 发 展和 进步 的有 效环 节 。 参考 文献 ： 【 马 海 涛 ． 算机 软 件 安全 漏 洞原 理 及 防 范 方法 ［． 协论 坛 １ 】 计 乃科 （ 下半 月） ０ ９ ， ０， ２ ６ ｆ 蒋廷耀 ， 宇， 凯， ２ １ 王训 马 关国翔 ． 于 Ｅ 和 Ａ 基 ＡＩ ＯＰ的软 件 安全
・
Ａｂｓｒ ｃ ：ｎ ｔ ｓｐ ｐ ｒｃ ｍｐｕｅ ｏ ｔ ａｅｃ ｎ ｅ ｅ ｕｒｔ ｄ ｔｃ ｉｎ ｔｃ ｎ ｏ ，ｈ ｓｃ ｓａ ｔｎ ｉｃ ｓ ｓｃ ｍｐｕ ｅ ｏｆｗａｅ ｔ ａ ｔＩ ｈｉ ａ ｅ ，ｏ ｔｒｓ ｆｗ ｒ ，ｏ ｔｎｔｓ ｃ ｉ ｅｅ ｔｏ ｅ ｈ ｏｌｇｙｔ ｅｂａ ｉ ｔｒｉ ｇ ｄｓ ｕｓｅ ｏ ｙ ｔｒｓ ｔ ｒ ｓ ｃ ｒｔ ｔｓｉｇ ｔｃ ｏ ｏ ｙ ｈ ｕｌ ｙａｔｎｔｏ ｏｓ ｆ ｔ ｓ ｕ ｓａ ｄ ｃ ｅ ｕ ｉ ｅ ｔｎ ｅ ｈ ｌ ｇ ｓ ｏ ｄｐａ ｔｅ ｉ ｎｔ ａ ｅｙ ｉｓ ｅ ｎ ｏｍｐ ｅ ｏｆｗａ ｅｄ ｔｃｉｎ ｔ ｄｓ ｙ ｎ ｕｔｒｓ ｔ ｒ ｅｅ ｔ ｍｅｈｏ ． ｏ Ｋｅ ｗ ｏ ｄ ： ｙ ｒ ｓ Ｃｏｍｐ ｅ ； ｆｗ ａｅ Ｓ ｆｔ ｅ ｔ ｕｔｒＳｏ ｔ ｒ ； ａ ｅｙｔ ｓｉ ｎｇ
测试 及应 用研 究［＿ Ｉ计算机 科 学， ０ ， １ ２ ９４ ０ 『 李 洁． 件 测试 用例 设计 Ⅱ． 编程 技 巧与 维护 ， １ ， ３ １ 软 １ 电脑 ２ ０４ ０ 『 杨 洪路 ， 云 战， 文龄 ， ４ ］ 宫 高 白哥 乐 ． 件 安全 静 态检 测技 术 与 软
－
Ｔ￣ Ｕ． 息化 纵横 ， ０ ， － ］ 信 ２ ９ ０ ９
８ 一 ７
计 算机 软件 安 全检测 技 术 的基本 内容 计算 机 软件 安全 检测 是计 算机 软 件 开发 的重 要环 节 ，计算 机 软件 检测 的 目的是 为 了能够 发现 软件 中所 存在 的安全 故 障而对 计 算机 软件 程序 进 行执 行 的过程 ，从而 能够 有 效 的对计 算机 软件 中 存在 的潜 在 风 险进行 更 正 。计 算 机软 件 安全 检测 的 目标是 利用 较 少 的测试 达 到最 大计 算机 软 件检 测 的整 体覆 盖 ，从而 有 效 的挖 掘 出计 算 机软 件 中存在 的 安全 问题 。从 当前计 算机 软件 安全 检 测 的 情 况来 看 ，进行 计 算机 软件 安全 检 测 的方法 主要 分 为动 态和 静态 两种 形 态 。 计 算机 软 件安 全检 测 是确 定软件 所 具有 的 安全 实现 是否 能够 与 软件 预 期的 设计 要求 产 生一致 的过程 。在 检测 的 过程 中包 括 了 进 行功 能测 试 、渗 透测 试 与验证 过 程三 个 阶段 。计 算机 软件 安全 检 测需 要进 行 强调 的是 该软 件不 应该 做什 么 ， 而不 是应 该做 什么 。 计 算机 软件 安 全检 测在 一般 情 况下 分为 安全 检 测功 能和 安全 检测 漏 洞两 个 方面 ，安 全检 测 功能 的测 试是 用来 检 测计 算机 软件 安全 功 能能 否 与安 全需 要产 生 一致 的步 调 。计 算机 软件 安全 功 能检测 的 内容 是相 对 比较 广泛 的 ，其 中包 含 了机 密性 、信 息授 权 、访 问 控 制 以及 安全 管理 等等 方 面 ，然而 计算 机 软件 安全 漏洞 的检 测 就 与 安全 功 能检 测大 不相 同，其 所针 对 的是 就计 算机 软件 可 能存在 的缺 陷 ， 个缺 陷可 能对 计 算机 软件应 用 过程 中产 生一 定 的影 响 。 这 二 、计算 机软 件 安全检 测 应注 意 的问题 从 计 算机 软件 安全 检 测 的 内容 来看 ，主要 就是 一个 动 态 的计 算 机安 全 检测 过程 。在 进 行计 算机 软件 安 全检 测 时需要 注 意 以下 问题 ： （ ） 一 针对 所检测 的计 算机软 件制定检 测方 案 。 根据 所要 就能 行 检测 的计算机 软件 的特 点以及涉及 的要 求 ， 在进 行综 合分析 的基 础 上 ， 过合理 性 的选择适 应于检 测软件 的技术 手段 ，并从计 算机 通 检 测 的实际角度 出发 ，制 定合理 的计算 机软件 检测方 案 ，同时 ，在 进 行安全 检测 时注重 安全检 测人 员的多元 化 ， 在计 算机 软件安 全检 测 过程 中 ， 仅要配 备检测 软件 的安全分 析人 员，还 需要配备 熟悉 不 该 软件 系统 ，并且是 该软件 系统 设计 的人 员进行 参与 。只有在 多个 领 域上 相互配 合才 能够有效 的对 计算机 软件安全 进行检 测 。 （ ）计算 机软 件 安全检 测 时系 统 的各级 分 析 。在 计 算机 软 二 件 安 全检 测 时 ，系统 级 （ｙ ｔｍｌｖ １ 、需 求级 （ ｅａ ｄ ｅ ｅ ） Ｓ ｓｅ ｅ ｅ ） Ｄ ｍｎ ｖ １ ｌ 与代 码 级 （ ｏ ｅｌ ｖ １ 的分析 是必 须 的 。如果 计算 机软 件 的规 Ｃ ｄ ｅｅ ） 模 比较大 ，那么 应 该对其 软件 结 构 设计 上进 行分 析 ，在软 件 具体 的分 析过 程 中 ，应 该从 实际 的工 作 需要 中 出发 ，选择 出合 理 的分 析技 术 ，在 分析 时 ，可 以进 行仿 真 环境 与分 析工 具共 同协 助 计算
Ｃｏ ｐ ｔ ｒＳ ｆｗａ ｅＳ ｃ ｒｔ ｔ ｃ ｉ ｎ Ｔｅ ｈ ｏ ｏ ｙ Ｓ ｕ ｙ ｍ ｕ ｅ ｏ ｔ ｒ ｅ ｕ ｉ Ｄｅ ｅ ｔｏ ｃ ｎ ｌ ｇ ｔ ｄ ｙ
Ｚｈ ｕ Ｘｉｏ ｈ ｎ ｏ ａ ｃｅ ｇ
（ｉ ｕ Ｕ ｉ ｒｉ ，ｓ ｕ ３ ３ ０ ，ｈｎ ） Ｌｓ ｉ ｎ ｅｓ ｙＬ ｈ ｉ ２ ０ ０Ｃ ｉａ ｈ ｖ ｔ ｉ
一
、
适 当的计 算机 软件 安全 检测 的方法 。 三 、计 算机 软件 安全 监测 技术 的方 法 （ ）计 算机 软件 安 全检 测 的程 序 。在通 常 的情 况下 ，对 于 一 规模 较大 的计 算机 软件 系 统 ， 是 由一定 数量 的子 系 统所 组成 的 ， 都 对于 不 同的 子系 统又 是 由若干 个 模块 所组 成 的 。在 计 算机 软件 安 全检 测过 程 中通 常采 用 的步骤 是 ： 先进 行单 元测 试 （ 首 模块 测 试 ） ， 这种 测试 主 要是 针对 计算 机 软件 设计 中 的最 小单位 进 行 的安全 检 测 。进行 模 块测 试 的 目的是 为 了能够 有效 的 发现 系统 中各 个模 块 所存 在 的各 种缺 陷 ，从而 更 好 的进行 解 决 。在进 行模 块测 试 的基 础上 ，对 所 有 的模块 按照 设 计程 序构 成系 统 ，并 通过 系统 结 构进 行 安全检 测 。 （ ）计算 机软 件 安全检 测 的方法 。 一 、形式 化 安全 测试 。 二 第 形式 化 安全 间检 测方 法 是确 立软 件 的数 学模 型 ，通过 这种 形 式来 说 明语 言 的支持 提供 形式 化 的规 格 。一般 经 常使 用 的形式 规 格语 言有 基 于模 型 的语言 （ ａｅ ｎ ｔ ｅｍ ｄ ｌｏ ｈ ａ ｇ ａｅ 、 Ｂ ｓ ｄｏ ｈ ｏ ｅ ｆｔ ｅ ｌｎｕ ｇ ） 基 于 有 限 状 态 的 语 言 （ ａｅ ｎ ｔ ｅ ｆ ｎ ｔ ｓａ ｅ ｏ ｈ Ｂ ｓ ｄ ｏ ｈ ｉ ｉｅ ｔｔ ｆ ｔ ｅ ｌｎ ｕ ｇ ） 以及 基 于 行 为 的 语 言 （ ａ ｅ ｎ ｂｈ ｖｏ ｆ ｔ ｅ ａ ｇａ ｅ Ｂ ｓｄ ｏ ｅａ ｉ ｒ ｏ ｈ ｌｎ ｕ ｇ ） ａ ｇ ａ ｅ 。第 二 、 型 的安全 功 能测 试 。 型 的安 全功 能检 测 方 模 模 法 是对 计算 机软 件 的行 为与 结构 ，通 过建 立 模型 的方 式 生成 安全 功 能测 试模 型 ， 以这 种模 型 为基 础 生成检 测 用例 ，从 而 驱动 计算 机 软件 安全 检测 。通 常 使用 的模 型 安全 功 能测试 的方 法有 有 限状 态机 器 （ ｉ ｉｅｓ ａｅｍ ｃ ｉｅ Ｆ ｎｔ ｔ ｔ ａｈ ｎ ）和 马尔科 夫 链 （ ａｋ ｖｃ ａｎ Ｍ ｒ ｏ ｈ ｉ ） 等 等 。第三 、语 法 测试 。这 种方 法 主要 是 以被检 测计 算机 软 件 的 功 能接 口的语 言生 成计 算机 软件 的测试 输入 （ ｅｔ ｉｐ ｔ ） Ｔ ｓ ｎ ｕ ｓ ，通 过 这种 方 式检 测计 算机 软件 对 不 同种类 语 言输入 的反 映情况 。应 用 这种 方法 进行 计 算机 软件 安全 测 试 的一般 程序 是对 计 算机 软件 接 口的语 言进 行有 效识 别 ，从 而定 义语 言 的语法 ，同 时进行 计 算 机 软件 安全 检 测 。第 四、模 糊 测试 。就 目前 来看 ，一般 应用 的 模 糊 测试 都 是基 于 白盒 的安全 测试 ，这种 方法 是对 传 统模 糊测 试 技 术 的进 步 ，该 检测 方法 能够 有 效地 结合 传统 的模 糊 测试 技术 ，融 合 当 前 的 白盒 模糊 测试 技术 ， 对计 算机 软 件安 全进 行有 效 的检 测 。
四 、总结
机 软件 安全 检测 的 工作 。 （ ）安全 检 测方 法 的选择 。从计 算机 软件 安全 检 测 的角度 三 来 看 ，这个 过程 就 是一 个系 统化 的过程 ，是 不 能够 通过 一个 简单 的 方法 就能 够把 系 统 中所有 安全 检 测 问题都 解 决掉 的 ，所 以 ，在 具 体 的实施 计 算机 软件 安全 检 测 的过程 中 ，需 要合 理 的选择 一 个