期刊文章详细信息
一种基于ECB模式的NSL协议改进方案
An improved scheme for NSL protocol based on ECB mode
文献类型：期刊文章
机构地区：[1]海南大学信息科学技术学院信息安全系,海南海口570228
基 金：海南省自然科学基金(808135);海南省教育厅高校科研基金(Hjkj2009-06)资助
年 份：2010
卷 号：1
期 号：6
起止页码：104-107
语 种：中文
收录情况：普通刊
摘 要：安全协议形式化方法大都在一个很高的抽象层次建立协议模型。但是协议的许多安全问题是在很低的抽象层次产生。本文分析了ECB工作模式下的NSL协议的安全问题,并通过破坏同态性的方法给出一种改进方案。通过扩展规则的BAN逻辑对NSL协议建模和分析,验证结果表明协议中存在着安全漏洞,新的改进方案可以避免这种攻击。
关 键 词：安全协议 ECB NSL
分 类 号：TP393.08]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
