可追究性

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

检索结果分析

结果分析中...
选择条件:
  • 学科=经济管理x
条 记 录,以下是1-2
视图:
排序:
一个新的电子支付协议及其形式化分析被引量:1
《计算机应用与软件》2008年第9期93-94,124,共3页徐洋 汪学明 谢晓尧 
贵州省科学技术基金项目(20082125)
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证...
关键词:电子支付协议 可追究性 公平性 KAILAR逻辑 
Kailar逻辑的缺陷被引量:29
《软件学报》1999年第12期1238-1245,共8页周典萃 卿斯汉 周展飞 
国家自然科学基金
近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的...
关键词:可追究性 电子商务 KAILAR逻辑 INTERNET网 
检索报告 对象比较 聚类工具 使用帮助 返回顶部