KAILAR逻辑

作品数：28被引量：62H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：高悦翔彭代渊石曙东李祥文静华更多>>
相关机构：贵州大学西南交通大学解放军信息工程大学四川师范大学更多>>
相关期刊：《电子科技大学学报》《计算机工程与应用》《计算机与信息技术》《软件学报》更多>>
相关基金：国家自然科学基金贵州省自然科学基金湖北省教育厅重点项目西北师范大学校科研和教改项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Kim公平非否认协议的改进
《计算机工程与应用》2009年第4期102-104,148,共4页潘菊 朱建明 
国家自然科学基金No.60673162;北京市自然科学基金No.4082028;中央财经大学研究生创新基金重点资助项目No.07-Z-014~~
在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。
关键词：公平非否认协议 KAILAR逻辑 协议分析 
改进的Kailar逻辑在协议分析中的应用被引量：2
《计算机工程与应用》2005年第32期118-120,148,共4页余昭平 张岚 
现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZDIZS0601)
通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法...
关键词：电子商务 协议 可追究性 公平性 形式化分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部