SPA:新的高效安全协议分析系统

• 作者: 卓继亮 怀进鹏 李先贤 李建欣
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 信息安全 密码协议 形式化分析 搜索算法 攻击序列
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 309-318
• 页数: 10页
• 分类号: TP3
• 字数: 10781字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2005.03.003

摘要

研制高效的自动分析系统是密码协议安全性分析的一项关键任务,然而由于密码协议的分析非常复杂,存在大量未解决的问题,使得很多现有分析系统在可靠性和效率方面仍存在许多局限性.该文基于一种新提出的密码协议代数模型和安全性分析技术,设计并实现了一个高效的安全协议安全性自动分析系统(Security Protocol Analyzer,SPA).首先对协议安全目标进行规范,然后从初始状态出发,采用有效的搜索算法进行分析证明,试图发现针对协议的安全漏洞.使用该系统分析了10多个密码协议的安全性,发现了一个未见公开的密码协议攻击实例.实验数据显示,该系统与现有分析工具相比,具有较高的分析可靠性和效率,可作为网络系统安全性评测以及密码协议设计的有效辅助工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	怀进鹏	北京航空航天大学计算机学院	86	2217	26.0	46.0
2	李建欣	北京航空航天大学计算机学院	14	365	10.0	14.0
3	李先贤	北京航空航天大学计算机学院	22	506	11.0	22.0
4	卓继亮	北京航空航天大学计算机学院	3	54	3.0	3.0