云计算环境下的隐蔽信道分析 - OWASP中国

专 利 之 一 : 一 种 隐 蔽 信 道 标 识 方 法
本 发 明 公 开 了 一 种 基 于 有 向 信 息 流 图 的 隐 蔽 信 道 标 识
方 法 , 以 系 统 源 代 码 为 分 析 对 象 , 提 出 了 一 种 标 识 隐 蔽 信
道 的 新 方 法 。 该 方 法 首 先 形 式 化 描 述 了 安 全 信 息 系 统 中 的
隐 蔽 信 道 , 该 表 述 指 明 隐 蔽 信 道 不 可 或 缺
的 基 本 要 素 ; 然 后 将 待 分 析 的 完 整 系 统 划 分 成 相 对 独 立 的
子 系 统 ; 在 每 个 子 系 统 中 以 共 享 变 量 为 基 本 单 元 搜 索 相 关
的 函 数 调 用 分 支 , 进 而 根 据 信 息 流 关 系 构 建 有 向 信 息 流 图
; 并 根 据 隐 蔽 信 道 的 形 式 化 描 述 对 每 个 信 息 流 图 进 行 剪 枝
, 消 除 代 码 中 的 无 效 流 分 支 和 变 量 别 名 ; 最 后 得 到 的 所 有
的 信 息 流 图 中 的 变 量 节 点 和 函 数 调 用 分 支 即 为 潜 在 的 隐 蔽
信 道 组 成 因 素 。 本 发 明 适 用 于 高 安 全 等 级 的 操 作 系 统 , 数
据 库 , 网 络 等 信 息 系 统 的 源 代 码 , 具 有 广 泛 的 应 用 范 围 、
较 高 的 执 行 效 率 、 较 低 的 误 报 率 和 漏 报 率 , 能 标 识 系 统 中
的 潜 在 隐 蔽 信 道 , 满 足 安 全 标 准 对 隐 蔽 信 道 分 析 的 要 求 。