周典萃

作品数：3被引量：69H指数：3
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：可追究性公平电子商务协议电子商务逻辑分析更多>>
发文领域：自动化与计算机技术经济管理电子电信更多>>
发文期刊：《电子学报》《软件学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种分析电子商务协议的新工具被引量：47
《软件学报》2001年第9期1318-1328,共11页周典萃 卿斯汉 周展飞 
国家自然科学基金资助项目 (6 0 0 830 0 7) ;国家重点基础研究发展规划 973资助项目 (G19990 35 810 )~~
提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始...
关键词：可追究性 公平性 逻辑分析 网上交易 电子商务协议 
电子商务协议的公平性被引量：10
《电子学报》2000年第9期13-15,共3页周展飞 周典萃 王贵林 卿斯汉 
国家自然科学基金!(No.696730 1 6)
本文指出在分析电子商务协议公平性的过程中 ,不仅要考虑参与协议的主体被动攻击的情况 ,同时还要考虑参与协议的主体进行主动攻击的情况 .在此基础上 ,本文对Kailar逻辑进行了改进 ,使之能够分析协议的可追究性和公平性 .
关键词：电子商务协议 公平性 主动攻击 
Kailar逻辑的缺陷被引量：29
《软件学报》1999年第12期1238-1245,共8页周典萃 卿斯汉 周展飞 
国家自然科学基金
近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的...
关键词：可追究性 电子商务 KAILAR逻辑 INTERNET网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部