一种分析电子商务协议的新工具
文献类型：期刊论文
| 作者 | 周典萃 ; 卿斯汉 ; 周展飞 |
| 刊名 | 软件学报
 |
| 出版日期 | 2001 |
| 卷号 | 12期号:9页码:1318-1328 |
| 关键词 | 可追究性 电子商务 公平性 逻辑分析 协议 电子商务 协议 新工具 形式化分析方法 公平性分析 初始化 通信信道 可靠性 消息 密文 逻辑 加密 集合 环境 规则 公式Communication channels (information theory) Cryptography Logic design Network protocols Numerical analysis Reliability |
| ISSN号 | 1000-9825 |
| 其他题名 | a new approach for the analysis of electronic commerce protocols |
| 中文摘要 | 提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3) 增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息. |
| 收录类别 | wanfang ; ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-29 |
| 附注 | 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 |
| 源URL | [http://124.16.136.157/handle/311060/13452]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 周典萃,卿斯汉,周展飞. 一种分析电子商务协议的新工具[J]. 软件学报,2001,12(9):1318-1328. |
| APA | 周典萃,卿斯汉,&周展飞.(2001).一种分析电子商务协议的新工具.软件学报,12(9),1318-1328. |
| MLA | 周典萃,et al."一种分析电子商务协议的新工具".软件学报 12.9(2001):1318-1328. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。