协议逆向工程研究进展
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｎｅ ｒ ｎ ． ｅ ｉ ｇ
Ｋｅ ｙ ｗｏｒ ｄｓ： ｐｒｔ ｃ ｌｒｖ ｒｅ ｅ ｇｎｅ ｒｎｇ；ｍｕ ｔｐｅ ｓ ｑ ｎ ｅ ｉｎｍｅ ｔ ｒ ｍｍａ ｉａ ｎ ｅ ｅ ｃ ｏｏ ｏ ｅ ｅ ｓ ｎ ｉ ｅ ｉ ｌｉ ｌ ｅ ｕｅ ｃ ｓａ ｇ ｌ ｎ ；ｇ ａ ｔｃ ｌｉｆ ｒ ｎ ｅ；ｄ ｎ ｍｉ ａｎ ｎ ｙ ｉ ｙ ａ ｃｔｉ ｔａ ａ ｓｓ；ｄ ｔ ｌ ａａ
ｌ ｗ ｎ ｌ ｓｓ ｆｏ ａ ａ ｙ ｉ
０ 引言
协 议 是 为进 行 网 络 数 据 交 换 而建 立 的 一 系 列 的 规 则 、 标
１ 问题 的描述 与定义
目前 对 协 议 逆 向技 术 的研 究 主 要 通 过 自然 语 言 对 问题 域 和逆 向方 案 进 行 描 述 ， 表 达 上 缺 乏 精 确 性 和 简 明性 ， 在 同时 难
第２ ８卷 第 ８期
２１ ０ １年 ８月
计 算 机 应 用 研 究
Ａｐ ｌ ａ ｉｎ Ｒｅ ｅ ｒ ｈ ｏ ｏ ｕ ｅ ｐ ｉ ｔ ｓ ａ ｃ ｆＣ ｍｐ ｔ ￣ ｃ ｏ
Ｖｏ ． ８ Ｎｏ ８ １２ ． Ａｕ ． ０ Ｉ ｇ ２ １
协 议 逆 向工 程 研 究 进 展
潘
摘
瑶， 吴礼发 ， 杜有翔 ， 洪
征
（ 解放 军理 工大 学 指挥 自动化 学院 ，南京 ２ ０ ０ ） １０ ７ 要 ：首 先给 出 了协议逆 向工程 的形 式化定 义 ， 并探 讨 了主要 应 用领 域 的特 定 需求 ； 后从 报 文序 列 分析 和 然
指令执 行序 列分析 两个方 面介绍 了协议 逆向技 术 的研 究现 状 ， 对 两类技 术 的优 劣 进行 了 比较 ； 并 最后 结合 当前 方案 的缺 陷和 实际应 用 的需求 ， 对协议 逆 向技 术 的发 展趋 势进行 了展 望。 关键词 ：协议 逆向 工程 ；多序 列 比对 ； 法推 断 ； 态 污点分析 ；数 据流 分析 文 动
１ １ 协 议 逆 向 目标 ．
协 议 的 详 细 描 述 信 息 为 基 础 ， 入 侵 检 测 如
、 糊 测 模
试 。］协 议 重 用 和 一 致 性 测 试 。但 由 于 目前 使 、 “ “等
பைடு நூலகம்
用 的协 议大部分 都是 私 有协 议 ， 乏正 式 的描 述 文档 ， 究 缺 研
人 员越 来 越 多 地 采 用 协 议 逆 向 的 手 段 实 现 协 议 信 息 的 提 取 。 协 议 逆 向 工 程 是 指 在 不 依 赖 于 协 议 描 述 的 情 况 下 ， 过 对 协 通
ｍｅ ｔ ｏ ｐ ｌ ａｉｎ ｄ ｍａ ｎ ． Ｆ ｏ ｔ ｅ ｔ ｏ ａ ｐ ｃｓｏ ｅｗｏ ｋ ｔ ｃ ｎ ｌ ｓｓａ ｄ ｅ ｅ ｕｉ ｎ ｔ ｃ ｎ ｌｓｓ ｎｒ ｄ ｃ ｄ ｔｅ ｋ ｙ ｎ ｓ ｆａ ｐ ｉ ｔ ｏ ｉ ｓ ｒ ｍ ｗ ｓ ｅ ｔ ｆ ｔ ｒ ａ ｅ ａ ａｙ ｉ ｎ ｘ ｃ ｔ ａ ｅ ａ ａｙ ｉ ，ｉ ｔ ｕ ｅ ｈ ｅ ｃ ｏ ｈ ｎ ｒ ｏ ｒ ｏ
中图分 类号 ：Ｔ ３ ３ ０ Ｐ ９ ．８
文 献标志 码 ：Ａ
文章编 号 ：１０ — ６ ５ ２ １ ） ８ ２ ０ — ６ ０ １ ３９ （０ １ ０ ・ ８ １０
ｄｉ１ ．９ ９ ｊｉ ｎ １０ — ６ ５ ２ １ ．８ ０ １ ｏ：０ ３ ６ ／．ｓ ．０ １３ ９ ．０ １ ０ ． ｏ ｓ
ｔ ｃ ｎ ｌｇ ｅ ｆｐ ｏｏ ｏ ｅ ｅ ｓ ｎ ｉ ｅ ｉｇ，ｆ ｌｏ ｄ ｗｉｈ ｔ ｅ ｅ ａｕ ｔｏ ｎ ｔ ｅ ｔ ｉ ｓｏ ｅ ｈ ｏｏ ｙ． Ｂａ ｅ ｎ ｔ ｅ ｄ ｓ ｄ ｅ ｈ ｏｏ ｉｓ ｏ ｒ ｔｃ ｌｒ ｖ ｒｅ ｅ ｇｎｅ ｒｎ ｏｌｗｅ ｔ ｈ ｖ ａ ｉｎ ｏ ｈ ｗｏ ｋｎｄ ｆｔ ｃ ｎ ｌｇ ｌ ｓ ｄ ｏ ｈ ｉａ － ｖ ｎ ａ ｓ ｏ ｈ ｕｒｅ ｏｕ ｉｎ ｎｄ ｒ ｑ ｒ ｍｅ ｔ ｒ ｍ ｒ ｃｉａ ｐ ｉａ ｉｎ ａ ｔｇｅ ｆｔｅ ｃ ｒ ｎｔｓｌ ｔｏ ｓ ａ ｅ ｕｉｅ ｎ ｓｆｏ ｐ ａ ｔ ｌ ａ ｐｌｃ ｔｏ ｓ， ｄｓ ｕ ｓ ｄ ｔ ｅ ｆ ｔ ｒ ｆｐｒｔ ｃ ｌｒ ｖ ｒｅ ｅｎ ｉ ｃ ｉｃ ｓｅ ｈ ｕ ｕ ｅ ｏ ｏｏ ｏ ｅ ｅ ｓ ｇ—
Ａ ｂ ｔａｃ ： Ｆｒ ｔ ｈｉ ｐｅ ａ ｅ ｔ ｅ ｆ ｒ ｌ ｄ ｆｎ ｔ ｎ ｏ ｏ ｏ ｏ ｅ ｅ ｓ ｅ ｉｅ ｒｎ ｓｒ ｔ ｉｓ ，ｔ ｓｐａ ｒｇ ｖ ｈ ｏ ｍａ ｅ ｉｉ ｆｐｒｔ ｃ ｌｒ ｖ ｒｅ ｎｇｎ ｅ ｉ ｇ， ａ ｄ ｄ ｓ ｕ ｓｄ ｈ ｐｅ ｉ ｅ ｒｑｕｒ — ｉ ｏ ｎ ｉｃ ｓ ｅ ｔｅ ｓ ｃｆ ｄ ｅ ｉｅ ｉ
Ｏｖ ｒ ｉｗｓ ｏ ｒ ｔ ｃ ｌｒ ｖ ｒｅ ｅ ｇ ｎ ｅ ｉ ｇ ｅ ｖ ｅ ｎ ｐ ｏ ｏ ｏ ｅ ｅ ｓ ｎ ｉ ｅ ｒｎ
ＰＡＮ ｎ， Ｗ Ｕ —ａ， ＤＵ ｕ—ｉ ｎ Ｆａ Ｌｉｆ Ｙｏ ｘ ａ ｇ， ＨＯＮＧ ｅ ｇ Ｚｈ ｎ
（ｎｔｕ ｏ ｍ ｎ ｕ ｍ ｔ ｎ Ｐ Ｕ ｉ ｒｔ ｆ Ｓｉ ｃ Ｔｃｎｌ ｙ ａ ｇ２ ０ ０ ，Ｃ ｉａ Ｉｓｔｔｏ ｍ ａ ｄＡ ｔａ ｉ ， ｎｖ ｓｙｏ ｃ ｎｅ＆ ｅｈ ｏ ｇ ，Ｎ ￣ｎ １０ ７ ｈｎ ） ｉ ｅ ｆＣ ｏ ｏ ｅｉ ｅ ｏ
准和约定 ， 是计 算 机 网络及 数 据通 信 的核 心 ， 是 网络 安全 也
领 域 的 重 点 研 究 对 象 。 当 前 许 多 网 络 安 全 相 关 的 应 用 都 以
以从理论上对技术路线 的可 行性进行 验证 。为 了剖析协议逆
向 的本 质 ， 析 现 有方 案 的 优 势 与局 限 性 ， 文 首 先 给 出 协 议 分 本 逆 向 的形 式 化 定 义 。
Ｋｅ ｙ ｗｏｒ ｄｓ： ｐｒｔ ｃ ｌｒｖ ｒｅ ｅ ｇｎｅ ｒｎｇ；ｍｕ ｔｐｅ ｓ ｑ ｎ ｅ ｉｎｍｅ ｔ ｒ ｍｍａ ｉａ ｎ ｅ ｅ ｃ ｏｏ ｏ ｅ ｅ ｓ ｎ ｉ ｅ ｉ ｌｉ ｌ ｅ ｕｅ ｃ ｓａ ｇ ｌ ｎ ；ｇ ａ ｔｃ ｌｉｆ ｒ ｎ ｅ；ｄ ｎ ｍｉ ａｎ ｎ ｙ ｉ ｙ ａ ｃｔｉ ｔａ ａ ｓｓ；ｄ ｔ ｌ ａａ
ｌ ｗ ｎ ｌ ｓｓ ｆｏ ａ ａ ｙ ｉ
０ 引言
协 议 是 为进 行 网 络 数 据 交 换 而建 立 的 一 系 列 的 规 则 、 标
１ 问题 的描述 与定义
目前 对 协 议 逆 向技 术 的研 究 主 要 通 过 自然 语 言 对 问题 域 和逆 向方 案 进 行 描 述 ， 表 达 上 缺 乏 精 确 性 和 简 明性 ， 在 同时 难
第２ ８卷 第 ８期
２１ ０ １年 ８月
计 算 机 应 用 研 究
Ａｐ ｌ ａ ｉｎ Ｒｅ ｅ ｒ ｈ ｏ ｏ ｕ ｅ ｐ ｉ ｔ ｓ ａ ｃ ｆＣ ｍｐ ｔ ￣ ｃ ｏ
Ｖｏ ． ８ Ｎｏ ８ １２ ． Ａｕ ． ０ Ｉ ｇ ２ １
协 议 逆 向工 程 研 究 进 展
潘
摘
瑶， 吴礼发 ， 杜有翔 ， 洪
征
（ 解放 军理 工大 学 指挥 自动化 学院 ，南京 ２ ０ ０ ） １０ ７ 要 ：首 先给 出 了协议逆 向工程 的形 式化定 义 ， 并探 讨 了主要 应 用领 域 的特 定 需求 ； 后从 报 文序 列 分析 和 然
指令执 行序 列分析 两个方 面介绍 了协议 逆向技 术 的研 究现 状 ， 对 两类技 术 的优 劣 进行 了 比较 ； 并 最后 结合 当前 方案 的缺 陷和 实际应 用 的需求 ， 对协议 逆 向技 术 的发 展趋 势进行 了展 望。 关键词 ：协议 逆向 工程 ；多序 列 比对 ； 法推 断 ； 态 污点分析 ；数 据流 分析 文 动
１ １ 协 议 逆 向 目标 ．
协 议 的 详 细 描 述 信 息 为 基 础 ， 入 侵 检 测 如
、 糊 测 模
试 。］协 议 重 用 和 一 致 性 测 试 。但 由 于 目前 使 、 “ “等
பைடு நூலகம்
用 的协 议大部分 都是 私 有协 议 ， 乏正 式 的描 述 文档 ， 究 缺 研
人 员越 来 越 多 地 采 用 协 议 逆 向 的 手 段 实 现 协 议 信 息 的 提 取 。 协 议 逆 向 工 程 是 指 在 不 依 赖 于 协 议 描 述 的 情 况 下 ， 过 对 协 通
ｍｅ ｔ ｏ ｐ ｌ ａｉｎ ｄ ｍａ ｎ ． Ｆ ｏ ｔ ｅ ｔ ｏ ａ ｐ ｃｓｏ ｅｗｏ ｋ ｔ ｃ ｎ ｌ ｓｓａ ｄ ｅ ｅ ｕｉ ｎ ｔ ｃ ｎ ｌｓｓ ｎｒ ｄ ｃ ｄ ｔｅ ｋ ｙ ｎ ｓ ｆａ ｐ ｉ ｔ ｏ ｉ ｓ ｒ ｍ ｗ ｓ ｅ ｔ ｆ ｔ ｒ ａ ｅ ａ ａｙ ｉ ｎ ｘ ｃ ｔ ａ ｅ ａ ａｙ ｉ ，ｉ ｔ ｕ ｅ ｈ ｅ ｃ ｏ ｈ ｎ ｒ ｏ ｒ ｏ
中图分 类号 ：Ｔ ３ ３ ０ Ｐ ９ ．８
文 献标志 码 ：Ａ
文章编 号 ：１０ — ６ ５ ２ １ ） ８ ２ ０ — ６ ０ １ ３９ （０ １ ０ ・ ８ １０
ｄｉ１ ．９ ９ ｊｉ ｎ １０ — ６ ５ ２ １ ．８ ０ １ ｏ：０ ３ ６ ／．ｓ ．０ １３ ９ ．０ １ ０ ． ｏ ｓ
ｔ ｃ ｎ ｌｇ ｅ ｆｐ ｏｏ ｏ ｅ ｅ ｓ ｎ ｉ ｅ ｉｇ，ｆ ｌｏ ｄ ｗｉｈ ｔ ｅ ｅ ａｕ ｔｏ ｎ ｔ ｅ ｔ ｉ ｓｏ ｅ ｈ ｏｏ ｙ． Ｂａ ｅ ｎ ｔ ｅ ｄ ｓ ｄ ｅ ｈ ｏｏ ｉｓ ｏ ｒ ｔｃ ｌｒ ｖ ｒｅ ｅ ｇｎｅ ｒｎ ｏｌｗｅ ｔ ｈ ｖ ａ ｉｎ ｏ ｈ ｗｏ ｋｎｄ ｆｔ ｃ ｎ ｌｇ ｌ ｓ ｄ ｏ ｈ ｉａ － ｖ ｎ ａ ｓ ｏ ｈ ｕｒｅ ｏｕ ｉｎ ｎｄ ｒ ｑ ｒ ｍｅ ｔ ｒ ｍ ｒ ｃｉａ ｐ ｉａ ｉｎ ａ ｔｇｅ ｆｔｅ ｃ ｒ ｎｔｓｌ ｔｏ ｓ ａ ｅ ｕｉｅ ｎ ｓｆｏ ｐ ａ ｔ ｌ ａ ｐｌｃ ｔｏ ｓ， ｄｓ ｕ ｓ ｄ ｔ ｅ ｆ ｔ ｒ ｆｐｒｔ ｃ ｌｒ ｖ ｒｅ ｅｎ ｉ ｃ ｉｃ ｓｅ ｈ ｕ ｕ ｅ ｏ ｏｏ ｏ ｅ ｅ ｓ ｇ—
Ａ ｂ ｔａｃ ： Ｆｒ ｔ ｈｉ ｐｅ ａ ｅ ｔ ｅ ｆ ｒ ｌ ｄ ｆｎ ｔ ｎ ｏ ｏ ｏ ｏ ｅ ｅ ｓ ｅ ｉｅ ｒｎ ｓｒ ｔ ｉｓ ，ｔ ｓｐａ ｒｇ ｖ ｈ ｏ ｍａ ｅ ｉｉ ｆｐｒｔ ｃ ｌｒ ｖ ｒｅ ｎｇｎ ｅ ｉ ｇ， ａ ｄ ｄ ｓ ｕ ｓｄ ｈ ｐｅ ｉ ｅ ｒｑｕｒ — ｉ ｏ ｎ ｉｃ ｓ ｅ ｔｅ ｓ ｃｆ ｄ ｅ ｉｅ ｉ
Ｏｖ ｒ ｉｗｓ ｏ ｒ ｔ ｃ ｌｒ ｖ ｒｅ ｅ ｇ ｎ ｅ ｉ ｇ ｅ ｖ ｅ ｎ ｐ ｏ ｏ ｏ ｅ ｅ ｓ ｎ ｉ ｅ ｒｎ
ＰＡＮ ｎ， Ｗ Ｕ —ａ， ＤＵ ｕ—ｉ ｎ Ｆａ Ｌｉｆ Ｙｏ ｘ ａ ｇ， ＨＯＮＧ ｅ ｇ Ｚｈ ｎ
（ｎｔｕ ｏ ｍ ｎ ｕ ｍ ｔ ｎ Ｐ Ｕ ｉ ｒｔ ｆ Ｓｉ ｃ Ｔｃｎｌ ｙ ａ ｇ２ ０ ０ ，Ｃ ｉａ Ｉｓｔｔｏ ｍ ａ ｄＡ ｔａ ｉ ， ｎｖ ｓｙｏ ｃ ｎｅ＆ ｅｈ ｏ ｇ ，Ｎ ￣ｎ １０ ７ ｈｎ ） ｉ ｅ ｆＣ ｏ ｏ ｅｉ ｅ ｏ
准和约定 ， 是计 算 机 网络及 数 据通 信 的核 心 ， 是 网络 安全 也
领 域 的 重 点 研 究 对 象 。 当 前 许 多 网 络 安 全 相 关 的 应 用 都 以
以从理论上对技术路线 的可 行性进行 验证 。为 了剖析协议逆
向 的本 质 ， 析 现 有方 案 的 优 势 与局 限 性 ， 文 首 先 给 出 协 议 分 本 逆 向 的形 式 化 定 义 。