山东省自然科学基金(003090309)

作品数：1被引量：1H指数：1
导出分析报告
相关作者：韩芳溪王可心更多>>
相关机构：山东大学更多>>
相关期刊：《大连理工大学学报》更多>>
相关主题：KAILAR逻辑电子商务协议更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Kailar逻辑推理中初始状态假设被引量：1
《大连理工大学学报》2003年第z1期193-196,共4页王可心 韩芳溪 
山东省自然科学基金资助项目(003090309).
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出...
关键词：KAILAR逻辑 电子商务协议 协议分析 初始状态假设 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部