PDF 下载 - 中国信息安全产品测评认证中心

第 四 章 信 息 化 安 全 理 论 研 究 展 望
4.1 信 息 化 安 全 理 论 研 究 概 述
我 国 信 息 化 安 全 领 域 从 事 业 开 创 起 就 非 常 重 视 理 论 研 究 , 我 国 有 一 批 非 常 杰 出 的 数 学 家
和 密 码 学 专 家 , 我 国 也 具 有 一 批 优 秀 的 计 算 机 科 学 家 、 计 算 机 专 家 、 通 信 专 家 、 系 统 工 程 专
家 和 信 息 化 专 家 。 但 是 , 信 息 化 安 全 横 跨 信 息 化 的 几 乎 所 有 领 域 。 例 如 谈 到 计 算 机 安 全 , 实
际 上 属 于 计 算 机 的 理 论 学 科 , 其 研 究 的 对 象 属 于 计 算 机 软 硬 件 及 其 系 统 的 安 全 ; 研 究 通 信 的
安 全 , 实 际 上 属 于 通 信 的 理 论 学 科 , 其 研 究 的 对 象 属 于 通 信 设 备 、 协 议 、 服 务 和 网 络 结 构 的
安 全 ; 这 样 算 来 算 去 , 除 密 码 学 还 算 作 安 全 的 理 论 学 科 外 , 信 息 化 的 安 全 都 是 依 托 在 其 他 学
科 的 理 论 基 础 上 , 而 没 有 自 己 独 立 的 安 全 理 论 体 系 。 在 我 国 信 息 化 安 全 作 为 一 级 学 科 , 从 其
应 用 的 重 要 性 , 从 国 家 需 要 来 说 , 是 理 所 当 然 的 。 但 是 , 作 为 一 级 学 科 没 有 自 己 的 独 立 理 论
仍 然 是 一 个 巨 大 的 遗 憾 。 令 人 欣 慰 的 是 , 自 从 《 软 件 行 为 学 》 系 列 著 作 问 世 以 来 , 这 个 局 面
可 以 说 已 经 或 者 正 在 发 生 改 变 , 行 为 学 理 论 研 究 的 对 象 不 是 研 究 软 硬 件 或 系 统 的 问 题 , 而 是
研 究 系 统 中 各 种 主 体 的 行 为 , 不 再 依 赖 系 统 本 身 , 属 于 系 统 之 外 的 理 论 基 础 研 究 。 也 就 是 说 ,
信 息 化 安 全 在 有 了 行 为 学 理 论 之 后 , 终 于 有 了 自 己 的 独 立 理 论 体 系 。
我 们 这 里 介 绍 的 信 息 化 安 全 理 论 研 究 , 仅 仅 是 商 会 最 为 关 注 的 信 息 化 安 全 理 论 的 研 究 内
容 , 并 不 是 指 所 有 的 信 息 化 安 全 理 论 研 究 。
4.2 软 件 行 为 学 系 列 著 作
《 软 件 行 为 学 》 系 列 著 作 出 版 表 明 了 中 国 信 息 安 全 领 域 , 在 理 论 研 究 方 面 跃 居 到 世 界 先
进 水 平 , 现 代 科 学 理 论 研 究 工 作 需 要 多 学 科 融 合 , 需 要 一 批 有 才 华 人 士 组 成 的 团 队 , 更 加 需
要 有 广 泛 经 历 和 具 有 规 划 和 设 计 学 科 的 总 体 框 架 能 力 的 学 科 带 头 人 。 软 件 行 为 学 学 科 是 由 中
国 计 算 机 科 学 工 作 者 提 出 的 , 反 映 中 国 信 息 化 巨 大 实 践 所 具 有 的 挑 战 性 , 也 为 中 国 的 计 算 机
科 学 家 提 供 了 最 多 的 机 会 。 我 们 之 所 以 相 信 软 件 行 为 学 提 出 是 正 确 的 是 由 于 其 应 用 体 系 的 产
生 , 表 现 在 《 银 行 行 为 监 管 : 银 行 监 管 信 息 化 》 和 《 银 行 行 为 控 制 : 银 行 信 息 化 与 安 全 》 和
《 网 络 行 为 对 抗 学 》 所 描 述 的 广 泛 新 型 的 应 用 上 。《 软 件 行 为 学 》 系 列 著 作 出 版 发 行 将 会 带
动 一 大 批 计 算 机 科 学 工 作 者 对 软 件 行 为 学 的 研 究 , 也 必 将 产 生 大 量 理 论 和 实 际 成 果 , 丰 富 这
个 学 科 领 域 并 不 断 完 善 这 个 应 用 基 础 理 论 体 系 。 同 时 , 还 表 现 出 抓 住 机 遇 和 正 确 选 择 的 理 论
研 究 对 实 践 工 作 的 巨 大 的 指 导 作 用 , 为 当 代 体 系 化 的 理 论 研 究 的 科 学 选 题 、 研 究 作 风 、 研 究
模 式 、 研 究 组 织 体 系 提 供 一 种 新 的 存 在 现 实 ( 当 然 不 是 唯 一 的 ), 对 传 统 科 研 存 在 模 式 与 形
态 提 出 挑 战 。
1、《 软 件 行 为 学 》
软 件 行 为 学 是 屈 延 文 教 授 在 上 世 纪 90 年 代 中 期 提 出 的 计 算 机 科 学 的 理 论 课 题 。《 软 件 行
为 学 》 创 立 了 行 为 语 义 学 , 建 立 了 群 体 软 件 组 织 、 模 式 、 系 统 与 平 台 结 构 , 为 信 息 系 统 代 理
化 应 用 发 展 和 行 为 控 制 、 行 为 监 管 、 行 为 认 证 和 行 为 对 抗 等 重 要 领 域 奠 定 了 理 论 基 础 框 架 。
计 算 机 研 究 行 为 , 必 须 对 行 为 的 语 义 进 行 描 述 , 这 种 行 为 的 语 义 描 述 是 计 算 机 可 读 的 ,
而 不 是 仅 仅 人 类 可 读 的 。 而 以 往 的 语 义 学 是 语 言 的 语 义 学 , 并 没 有 现 成 的 对 行 为 语 义 描 述 的
方 法 。 我 们 研 究 了 当 今 国 际 上 对 行 为 研 究 的 各 种 文 献 和 成 果 。 仅 仅 看 到 对 单 一 主 体 的 单 一 行
73