您的位置： 专家智库 > >

国家高技术研究发展计划(2007AA01471)

作品数：1 被引量：0H指数：0
相关作者：刘楠朱文也陈晨祝跃飞更多>>
相关机构：解放军信息工程大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇认证性
  • 1篇树自动机
  • 1篇重写系统
  • 1篇自动机
  • 1篇项重写
  • 1篇项重写系统

机构

  • 1篇解放军信息工...

作者

  • 1篇祝跃飞
  • 1篇陈晨
  • 1篇朱文也
  • 1篇刘楠

传媒

  • 1篇计算机工程

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
TA4SP的认证性扩展
2010年
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、易于形式化。实例表明,通过该方法改进后的TA4SP能有效检测安全协议的认证性。
朱文也祝跃飞刘楠陈晨
关键词：项重写系统树自动机认证性
全选 清除 导出
共1页<1>
聚类工具0