可追究性

作品数：27被引量：131H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：卿斯汉周典萃周展飞王彩芬刘文琦更多>>
相关机构：中国科学院软件研究所贵州大学西南交通大学西安电子科技大学更多>>
相关期刊：《电子科技大学学报》《计算机工程与应用》《通信学报》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
乐观公平交换协议的可追究性分析
《计算机工程与应用》2006年第27期125-128,共4页邢育红 卜凡金 
可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议。目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法。文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法...
关键词：乐观公平交换协议 可追究性 形式化分析 
改进的Kailar逻辑在协议分析中的应用被引量：2
《计算机工程与应用》2005年第32期118-120,148,共4页余昭平 张岚 
现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZDIZS0601)
通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法...
关键词：电子商务 协议 可追究性 公平性 形式化分析 
一种分析密码协议的新逻辑
《计算机工程与应用》2003年第30期182-185,共4页何成 王尚平 王晓峰 
陕西省教育厅自然科学研究计划资助项目(编号:00JK266)
提出了一种分析密码协议的新逻辑。针对信息安全的需要,给出了一套与加解密、签名等密码学操作有关的构造和推理规则,举例说明此逻辑在分析密码协议中的应用,并讨论了需要进一步研究的问题。
关键词：密码协议 形式化逻辑语言 SET协议 可追究性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部