Institutional Repository
| 一种分析电子商务协议的新工具 | |
| Alternative Title | a new approach for the analysis of electronic commerce protocols |
| 周典萃; 卿斯汉; 周展飞 | |
| 2001 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 12Issue:9Pages:1318-1328 |
| English Abstract | 提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3) 增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息. |
| Indexed Type | wanfang ; ei |
| Keyword | 可追究性 电子商务 公平性 逻辑分析 协议 电子商务 协议 新工具 形式化分析方法 公平性分析 初始化 通信信道 可靠性 消息 密文 逻辑 加密 集合 环境 规则 公式communication Channels (Information Theory) Cryptography Logic Design Network Protocols Numerical Analysis Reliability |
| Department | 中国科学院软件研究所;中国科学院软件研究所;中国科学院软件研究所 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13452 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 周典萃,卿斯汉,周展飞. 一种分析电子商务协议的新工具[J]. 软件学报,2001,12(9):1318-1328. |
| APA | 周典萃,卿斯汉,&周展飞.(2001).一种分析电子商务协议的新工具.软件学报,12(9),1318-1328. |
| MLA | 周典萃,et al."一种分析电子商务协议的新工具".软件学报 12.9(2001):1318-1328. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 一种分析电子商务协议的新工具.pdf（391KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment