曹龙

作品数：1被引量：0H指数：0
导出分析报告
供职机构：酒泉卫星发射中心更多>>
发文主题：安全协议验证更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《通信与信息技术》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于约束求解的安全协议验证
《通信与信息技术》2016年第1期64-68,共5页曹龙 王思 李强 方娟 
研究了基于约束系统求解的安全协议形式化验证方法,该方法将安全协议的执行迹抽象为约束系统,将安全属性表示为基于协议迹的一阶公式,并通过求解约束系统来判定安全属性公式是否得到满足;提出了基于约简规则的一般化约束求解算法,可以...
关键词：协议验证 约束系统 约束求解 推理系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部