| 一种分析电子商务协议的新工具 |
| 其他题名 | a new approach for the analysis of electronic commerce protocols
|
| 周典萃; 卿斯汉; 周展飞
|
| 2001
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 12期号:9页码:1318-1328 |
| 摘要 | 提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3) 增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息. |
| 收录类别 | wanfang
; ei
|
| 关键词 | 可追究性
电子商务
公平性
逻辑分析
协议
电子商务
协议
新工具
形式化分析方法
公平性分析
初始化
通信信道
可靠性
消息
密文
逻辑
加密
集合
环境
规则
公式communication Channels (Information Theory)
Cryptography
Logic Design
Network Protocols
Numerical Analysis
Reliability
|
| 部门归属 | 中国科学院软件研究所;中国科学院软件研究所;中国科学院软件研究所
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论