一种基于ECB模式的NSL协议改进方案

• 作者: 吴汉炜 姚孝明 李红蕾 王泽群
• 来源期刊: 信息安全与技术
• 学科: 工学
• 关键词: 安全协议 ECB NSL
• 年，卷（期）: 2010,（6）
• 页码范围: 104-107
• 分类号: TP3
• 字数: 3142字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-9456.2010.06.025

摘要

安全协议形式化方法大都在一个很高的抽象层次建立协议模型.但是协议的许多安全问题是在很低的抽象层次产生.本文分析了ECB工作模式下的NSL协议的安全问题,并通过破坏同态性的方法给出一种改进方案.通过扩展规则的BAN逻辑对NSL协议建模和分析,验证结果表明协议中存在着安全漏洞,新的改进方案可以避免这种攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李红蕾	海南大学信息科学技术学院信息安全系	8	15	2.0	3.0
2	姚孝明	海南大学信息科学技术学院信息安全系	16	55	5.0	7.0
3	吴汉炜	海南大学信息科学技术学院信息安全系	5	7	2.0	2.0
4	王泽群	海南大学信息科学技术学院信息安全系	2	5	1.0	2.0