霍腾飞

作品数：1被引量：1H指数：1
导出分析报告
供职机构：中国人民解放军信息工程大学理学院更多>>
发文主题：安全协议分析方法可证安全逻辑分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机应用与软件》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种混合的安全协议分析方法被引量：1
《计算机应用与软件》2011年第3期289-292,共4页霍腾飞 李益发 邓帆 
成都市通信技术重点实验室(9140C1103040902)
在安全协议的形式化分析中,有两种完全不同的观点:模态逻辑和可证安全,两者各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。通过对两种观点的研究,按照优势互补的原则将两者相调和...
关键词：可证安全 逻辑分析 安全协议 混合分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部