分级文档编写指南EAL4 - 中国信息安全产品测评认证中心

中 国 信 息 安 全 测 评 中 心
分 级 文 档 编 写 指 南 EAL4 V2.0
1) TOE 安 全 功 能 包 含 IT 安 全 功 能 , 并 说 明 这 些 功 能 是 如 何 满 足 TOE 安 全
功 能 要 求 的 。 可 以 通 过 功 能 和 要 求 间 双 向 映 射 的 方 式 来 表 达 。
2) TOE 的 保 证 措 施 应 列 出 所 有 符 合 TOE 安 全 要 求 的 保 证 措 施 , 并 说 明 这 些
保 证 措 施 是 如 何 满 足 TOE 安 全 保 证 要 求 的 。 可 以 通 过 保 证 措 施 和 要 求 间 双 向 映
射 的 方 式 来 表 达 。
TOE 概 要 规 范 编 写 应 满 足 以 下 要 求 :
1)IT 安 全 功 能 应 以 非 形 式 化 的 方 式 定 义 , 其 详 细 程 度 应 足 够 理 解 其 含 义 。
2)ST 中 引 用 的 所 有 安 全 机 制 应 可 追 溯 到 相 关 的 安 全 功 能 , 这 样 就 可 看 到 每
一 个 功 能 实 现 时 使 用 的 安 全 机 制 。
3) 当 AVA_SOF.1 包 括 在 TOE 保 证 要 求 里 时 , 应 指 明 所 有 利 用 概 率 和 变 换 机
制 ( 例 如 口 令 或 散 列 函 数 ) 实 现 的 IT 安 全 功 能 。 应 提 供 所 有 这 些 功 能 的 TOE 安
全 功 能 强 度 分 析 。 每 一 个 指 定 功 能 的 强 度 应 确 定 并 声 明 为 基 本 级 功 能 强 度 、 中 级
功 能 强 度 、 高 级 功 能 强 度 中 的 一 个 , 或 另 选 定 义 明 确 的 特 定 级 别 。 所 提 供 的 功 能
强 度 证 据 应 足 够 评 估 者 作 出 独 立 的 判 断 , 确 认 所 声 称 的 强 度 是 足 够 和 正 确 的 。
安 全 功 能 强 度 的 确 定 可 参 照 下 列 要 求 :
1) 安 全 功 能 强 度 的 特 征 :
―― 功 能 可 以 充 分 对 抗 低 等 攻 击 潜 力 者 偶 然 的 攻 击 ;
―― 功 能 可 以 充 分 对 抗 中 等 攻 击 潜 力 者 直 接 或 故 意 发 起 的 攻 击 ;
―― 功 能 可 以 充 分 对 抗 高 等 攻 击 潜 力 者 有 周 密 计 划 或 组 织 的 攻 击 。
2) 强 度 级 别 的 选 择 基 于 与 威 胁 相 关 的 下 列 方 面 :
―― 持 续 时 间 ;
―― 经 验 ;
―― 对 TOE 的 了 解 ;
―― 对 TOE 的 访 问 方 式 ;
―― 使 用 的 设 备 。
1.7 PP 声 明
一 般 要 求 EAL4 级 达 到 高 级 功 能 强 度 。
如 果 在 ST 引 言 中 声 称 符 合 一 个 或 多 个 PP, 本 节 应 该 介 绍 这 些 PP, 还 应 说
明 为 满 足 ST 要 求 , 对 PP 进 行 的 替 代 和 附 加 项 。 注 意 不 能 声 明 只 部 分 的 满 足 PP。
如 果 没 有 声 明 符 合 PP, 则 该 部 分 可 直 接 写 为 “ 直 接 依 据 GB/T 18336-2001, 不 满
足 任 何 PP”。
1.8 基 本 原 理
1.8.1 安 全 目 的 基 本 原 理
阐 明 安 全 目 的 能 够 映 射 到 TOE 安 全 环 境 里 的 所 有 方 面 : 假 设 、 威 胁 和 组 织
安 全 策 略 :
第 5 页 , 共 16 页