您的位置： 专家智库 > >

国家重点实验室开放基金(51436040405JW0304)

作品数：1 被引量：1H指数：1
相关作者：陈克非陈力琼更多>>
相关机构：上海交通大学更多>>
发文基金：国家重点实验室开放基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇知识
  • 1篇知识集
  • 1篇串空间

机构

  • 1篇上海交通大学

作者

  • 1篇陈力琼
  • 1篇陈克非

传媒

  • 1篇计算机工程

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于消息匹配的认证协议分析被引量：1
2008年
为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消息和主体知识集中的变量进行赋值,并匹配消息中已被确定的常量,以此找出具体的攻击路径。同时,结合认证测试方法简化分析步骤,针对分析过程对协议进行有效的改进。
陈力琼陈克非
关键词：串空间知识集
全选 清除 导出
共1页<1>
聚类工具0