王可心

作品数：2被引量：1H指数：1
导出分析报告
供职机构：山东大学计算机科学与技术学院更多>>
发文主题：KAILAR逻辑安全协议分析电子商务协议安全协议更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《大连理工大学学报》《计算机应用》更多>>
所获基金：山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全协议分析中的状态空间简化技术
《计算机应用》2004年第4期119-120,143,共3页王可心 韩芳溪 
山东省基金资助项目(003090309)
通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的。并以Needham Schroeder Lowe协议为例,说明...
关键词：安全协议分析 状态空间简化技术 剪枝定理 
Kailar逻辑推理中初始状态假设被引量：1
《大连理工大学学报》2003年第z1期193-196,共4页王可心 韩芳溪 
山东省自然科学基金资助项目(003090309).
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出...
关键词：KAILAR逻辑 电子商务协议 协议分析 初始状态假设 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部