您的位置： 专家智库 > >

周径野

作品数：1 被引量：3H指数：1
供职机构：湘潭大学信息工程学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇安全协议
  • 1篇串空间
  • 1篇串空间模型

机构

  • 1篇湘潭大学
  • 1篇中国科学院软...

作者

  • 1篇石昊苏
  • 1篇周径野
  • 1篇刘学锋
  • 1篇薛锐

传媒

  • 1篇计算机应用

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
安全协议自动验证工具的状态空间剪枝被引量：3
2004年
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。概述基于该模型结合使用定理证明和模型检测技术开发的安全协议验证工具AVSP的体系结构 ,提出一些剪枝规则对状态搜索空间进行剪枝。通过Needham Schroeder安全协议的弱一致性认证属性验证过程来表明这些状态搜索空间剪枝规则可有效缩小状态搜索空间 。
刘学锋石昊苏薛锐周径野
关键词：形式化分析串空间模型
全选 清除 导出
共1页<1>
聚类工具0