可追究性

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于分层时间有色Petri网的支付协议公平性分析被引量：7
《电子与信息学报》2009年第6期1445-1450,共6页刘文琦 顾宏 
国家973规划项目(2002CB312201)资助课题
电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付协议形式化分析方法。该方法在进行公平性分析时,充分考虑了两个环境因素:主体是否诚实和通信信道是否可靠...
关键词：有色Petri网(CPN) 支付协议 公平性 可追究性 
一种基于RBAC的电子商务匿名性与可追究性实现方案被引量：3
《计算机科学》2007年第7期86-89,共4页马勇 卿斯汉 贺也平 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(973)(批准号:G1999035802)
提出了一种基于RBAC思想对可信第三方功能进行分类并结合其他一些技术实现电子商务中匿名性与可追究性的解决方案,主要涉及三个主要过程:用户的注册控制、交易过程的控制及投诉处理过程。通过对注册用户的信息进行加密并对加密密钥进行...
关键词：RBAC 电子商务 匿名性 可追究行 安全协议 
一种电子商务协议形式化分析方法被引量：23
《软件学报》2005年第10期1757-1765,共9页卿斯汉 
国家自然科学基金;国家重点基础研究发展规划(973);北京市自然科学基金~~
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分...
关键词：形式化分析 电子商务协议 可追究性 公平性 可信第三方 
电子商务协议中的可信第三方角色被引量：31
《软件学报》2003年第11期1936-1943,共8页卿斯汉 
国家自然科学基金;国家重点基础研究发展规划(973)~~
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对...
关键词：可信第三方 电子商务协议 非否认性 可追究性 公平性 
一种分析电子商务协议的新工具被引量：47
《软件学报》2001年第9期1318-1328,共11页周典萃 卿斯汉 周展飞 
国家自然科学基金资助项目 (6 0 0 830 0 7) ;国家重点基础研究发展规划 973资助项目 (G19990 35 810 )~~
提出了一种新的形式化分析方法 ,可用于分析电子商务协议 .与 Kailar逻辑相比 ,它有 3个优点 :(1)能够有效地分析协议的公平性 ,在进行公平性分析时充分考虑了通信信道的可靠性 ;(2 )初始化拥有集合只依赖于环境 ,不需要人为地引入初始...
关键词：可追究性 公平性 逻辑分析 网上交易 电子商务协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部