电子商务协议

作品数：73被引量：190H指数：8
导出分析报告
相关领域：自动化与计算机技术经济管理更多>>
相关作者：文静华董荣胜卿斯汉郭云川郭华更多>>
相关机构：贵州大学中国科学院软件研究所郑州大学燕山大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划贵州省科学技术基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ProVerif的电子商务协议分析被引量：4
《通信学报》2009年第3期125-129,共5页郭云川 丁丽 周渊 郭莉 
国家重点基础研究发展计划(“973”计划)基金资助项目(2007CB311100);国家高技术研究发展计划(“863”计划)基金资助项目(2007AA01Z446);国家自然科学基金资助项目(60703021,60873217)~~
采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具——ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子...
关键词：电子商务协议 公平性 ProVerif 
电子商务协议原子性的SPIN分析
《南昌大学学报（工科版）》2007年第2期181-185,共5页王兵 肖美华 刘晓清 朱宜炳 
国家重大基础研究973计划前期预研项目(2003CCA02800);江西省自然科学基金资助项目(0411041;0611057);江西省教育厅2005年科技计划资助项目(200543)
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模...
关键词：电子商务协议 SPIN 原子性 
一种电子商务协议形式化分析方法被引量：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>
检索报告 对象比较 聚类工具 使用帮助 返回顶部