可追究性

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机应用技术x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个多方认证邮件协议的分析与改进被引量：1
《计算机科学》2012年第11期58-61,97,共5页高悦翔 彭代渊 
多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安...
关键词：多方认证邮件协议 可追究性 公平性 签密 KAILAR逻辑 
一个新的电子支付协议及其形式化分析被引量：1
《计算机应用与软件》2008年第9期93-94,124,共3页徐洋 汪学明 谢晓尧 
贵州省科学技术基金项目(20082125)
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证...
关键词：电子支付协议 可追究性 公平性 KAILAR逻辑 
电子商务协议可追究性的Kailar分析与改进被引量：1
《中国市场》2008年第15期112-114,共3页刘庆华 周小燕 
可追究性是电子商务安全性的基本要求之一,Kailar逻辑是专门针对电子商务可追究性进行分析的逻辑。然而Kailar逻辑也存在不足。本文讨论了逻辑的一种缺陷——初始化假设不当而致Kailar逻辑不能正确分析各方的可追究性,并分析了出现这种...
关键词：可追究性 KAILAR逻辑 初始化假设 
Zhou-Gollmann非否认协议的分析与改进被引量：3
《计算机应用研究》2007年第7期242-245,共4页蔡永泉 朱勇 
国家"863"计划资助项目(2005AA147090);北京教委科技发展计划面上项目[KM200610005001]
以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性、公平性和时限性,而且具有实现简单、执行效率高、可信第三方负担轻等特点。
关键词：非否认协议 电子商务 可追究性 公平性 时限性 
改进的Kailar逻辑在协议分析中的应用被引量：2
《计算机工程与应用》2005年第32期118-120,148,共4页余昭平 张岚 
现代通信国家重点实验室基金(编号:5146010103JB0601;5143603ZDIZS0601)
通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法...
关键词：电子商务 协议 可追究性 公平性 形式化分析 
一种分析电子商务协议的新方法被引量：10
《计算机学报》2004年第4期507-515,共9页王彩芬 葛建华 
西北师范大学重点研究方向基金资助 .
通过将Kailar逻辑和LPC形式方法相结合 ,提出一种新的用于分析电子商务协议的形式化方法 .新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力 .该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议...
关键词：电子商务 协议 可追究性 公平性 形式化分析 KAILAR逻辑 
Kailar逻辑的缺陷被引量：29
《软件学报》1999年第12期1238-1245,共8页周典萃 卿斯汉 周展飞 
国家自然科学基金
近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的...
关键词：可追究性 电子商务 KAILAR逻辑 INTERNET网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部