基于串空间模型的多协议猜测攻击验证分析

• 作者: 周清雷 贾立伟 赵东明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 多协议猜测攻击 串空间 程序化分析 形式化分析
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 基金项目论文
• 页码范围: 129-132
• 页数: 4页
• 分类号: TP3
• 字数: 5416字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.07.044

摘要

对安全协议进行猜测攻击,如果攻击者不能正确猜测用户秘密,那么他就会设法使用其他的信息来验证这种猜测.过去仅考虑了协议在独立执行的时候所遭受到的攻击.现引入一种新类型攻击称为多协议猜测攻击,它可以存在于混合协议中.接着,采用程序化分析方法对协议可能遭受到的猜测攻击进行了分析即协议的脆弱性分析.最后,加入一定的限制条件并使用串空间建模,进而保证了协议的安全性即协议的健壮性验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
3	贾立伟	郑州大学信息工程学院	2	0	0.0	0.0