您的位置： 专家智库 > >

海南省教育厅高等学校科学研究项目(Hjkj2009-06)

作品数：1 被引量：0H指数：0
相关作者：姚孝明吴汉炜李红蕾王泽群更多>>
相关机构：海南大学更多>>
发文基金：海南省教育厅高等学校科学研究项目海南省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇安全协议
  • 1篇ECB

机构

  • 1篇海南大学

作者

  • 1篇王泽群
  • 1篇李红蕾
  • 1篇吴汉炜
  • 1篇姚孝明

传媒

  • 1篇信息安全与技...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于ECB模式的NSL协议改进方案
2010年
安全协议形式化方法大都在一个很高的抽象层次建立协议模型。但是协议的许多安全问题是在很低的抽象层次产生。本文分析了ECB工作模式下的NSL协议的安全问题,并通过破坏同态性的方法给出一种改进方案。通过扩展规则的BAN逻辑对NSL协议建模和分析,验证结果表明协议中存在着安全漏洞,新的改进方案可以避免这种攻击。
吴汉炜李红蕾姚孝明王泽群
关键词：安全协议ECB
全选 清除 导出
共1页<1>
聚类工具0