《安全协议信息安全保障的灵魂：安全协议分析研究现状与发展趋势1》.pdf

堡皇室全I inform ation Security 安全协议 信息安全保障的灵魂 安全协议分析研究现状与发展趋势 薛 锐 雷新锋 (中国科学院软件研 究所信息安全国家重点实验室 北京 100l90) 摘要 信息社会对于信息保障技术手段提 出了极大的挑战。安全协议作为信息安 全保 障的灵魂，越来越凸显出其关键和纽带作用。对安全协议 的安全性分析则是 信息时代一个重要而无法回避 的关键 问题。文章通过总结安全协议分析的研究现 状与发展趋势，认为我 国目前该领域的研究与国外差距较大，加强协议安全性分 析研究对我 国来说是一个非常迫切的课题。在此基础上，提 出了相关对策与建议。 关键 词 安全协议 ，密码学 ，形式化方法 ，研究现状 ，发展趋势 DOI：10．3969~．issn．1000-3045．2011．03．006 1安全 协 议 络 的触 角 正 在 延 伸 至 精 神 世 界 与 物 质 世 界 在 信 息 社 的每 一个 角落 ，成为 人类 文 明飞速 发 展 的主 会 中 的重 要 载体 。 (2)信 息 的安 全保 障 问题 是 信 息 时代 的 要 意 义 一 个 永 远无 法 回避 的关 键 问题 。任何 事情 都 (1)信 息社 有其 两 面性 。网络一 方 面促进 了人 类 文 明的 会 中 ，网络 已经 飞 速 发 展 ．另 一 方 面 也 成 为 不 同文 明 、不 同 成 为 人 类 文 明 利益 集 团之 间相 互角 逐 的战场 。在 这个 战 场 飞 速 发 展 的 主 中 ，信 息 的窃 取 、网 络 攻击 将 成 为 影 响力 最 要 载 体 。 人 类 薛锐研究 员 大 、杀 伤 力 最 强 的武 器 ，大 到影 响 国家 的政 社 会 目前 正 经 治 、经 济 、军 事 、文 化 等 ，小 到影 响个 人 的 日 历 着 自工 业 革命 以来 最 为深 刻 的信 息革 命 。 常生 活 的方方 面面 。毫 无 疑 问 ，信 息 的安 全 在 短 短 的几 十年 时 间里 ．信 息革 命 已经 经历 保 障 问题 对 信 息 社 会 的 影 响 是 广 泛 而 深 刻 了单 机 时 期 、互 联 网时 期 ．如今 正在 走 向物 的 ，是 这个 时 代发 展 中一 个无 法 回避 的关 键 联 网时 期 。如果 说 互 联 网时期 ，信 息 的 流动