代码执行

作品数：22被引量：37H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：胡珀郑兴张强杨勇周洪更多>>
相关机构：深圳市腾讯计算机系统有限公司亚马逊技术有限公司华为技术有限公司阿里巴巴集团控股有限公司更多>>
相关期刊：《电子测试》《计算机研究与发展》《信息技术与信息化》《公法研究》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
密码协议代码执行的安全验证分析综述被引量：9
《计算机学报》2018年第2期288-308,共21页张焕国 吴福生 王后珍 王张宜 
国家自然科学基金(613030212;61202385);国家自然科学基金重点项目(61332019);国家"九七三"重点基础研究发展规划项目基金(2014CB340600)资助~~
密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时...
关键词：密码协议 模型 代码 执行 安全验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部