首页 | 本学科首页   官方微博 | 高级检索  
     

一种分析电子商务协议的新工具
引用本文:周典萃,卿斯汉,周展飞.一种分析电子商务协议的新工具[J].软件学报,2001,12(9):1318-1328.
作者姓名:周典萃  卿斯汉  周展飞
作者单位:中国科学院软件研究所
基金项目:国家自然科学基金资助项目(60083007);国家重点基础研究发展规划973资助项目(G1999035810)
摘    要:提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.

关 键 词:可追究性  电子商务  公平性  逻辑分析  协议
收稿时间:1999/6/29 0:00:00
修稿时间:1999年6月29日

A New Approach for the Analysis of Electronic Commerce Protocols
ZHOU Dian cui,QING Si han and ZHOU Zhan fei.A New Approach for the Analysis of Electronic Commerce Protocols[J].Journal of Software,2001,12(9):1318-1328.
Authors:ZHOU Dian cui  QING Si han and ZHOU Zhan fei
Abstract:In this paper, a new framework is proposed for the analysis of electronic commerce protocols. Comparing to the framework proposed by Kailar, it has three major improvements. Firstly, it can analyze fairness of protocols efficiently. In the analysis of fairness, it takes the reliability of communication channels into consideration. Secondly, the initial possesion set depends on environment in stead of human beings. At last, by introducing the cipher text understanding rule the new framework can analyze the message which includes signed cipher text.
Keywords:accountability  electronic commerce  fairness  logical analysis  protocol
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号