您的位置： 专家智库 > >

刘学锋

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

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇形式化
  • 2篇形式化分析
  • 2篇安全协议
  • 2篇串空间
  • 2篇串空间模型
  • 1篇定理
  • 1篇形式化方法

机构

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

作者

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

传媒

  • 1篇计算机应用

年份

  • 2篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
安全协议形式化分析及其应用
协议是在计算机网络和分布系统中两个或多个主体(Principals)为相互交换信息而规定的一组信息交换规则和约定.安全协议也称作密码协议,是在协议中应用加密解密的手段隐藏或获取信息,以达到安全性的各种目的.对于安全协议的...
刘学锋
关键词：安全协议形式化方法串空间模型
文献传递
安全协议自动验证工具的状态空间剪枝被引量：3
2004年
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。概述基于该模型结合使用定理证明和模型检测技术开发的安全协议验证工具AVSP的体系结构 ,提出一些剪枝规则对状态搜索空间进行剪枝。通过Needham Schroeder安全协议的弱一致性认证属性验证过程来表明这些状态搜索空间剪枝规则可有效缩小状态搜索空间 。
刘学锋石昊苏薛锐周径野
关键词：形式化分析串空间模型
全选 清除 导出
共1页<1>
聚类工具0