| 题名 | 电子商务协议的形式化分析方法 |
| 作者 | 周典萃 |
| 学位类别 | 博士 |
| 答辩日期 | 1999 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 可追究性 电子商务 公平性 形式化方法 协议 |
| 学位专业 | 计算机应用技术 |
| 中文摘要 | 近年来，电子商务协议的设计逐渐成为热点，可追究性和公平性是电子商务协议应遵循的两个重要原则，可追究性指电子商务协议必须具备这一机制，它迫使交易双方对自己的行为负有责任。缺乏可追究性，交易双方容易引起争议。公平性指如果交易成功，交易双方应该获得他们要取得的电子货物；或者，如果交易失败，交易双方谁也不能获得要取得的电子货物，过去在认证协议分析方面的经验[11]表明，协议设计是一个极度易出错的工作。因此Rajashekar Kailar提出了一种用于分析电子商务协议可追究性的形式化分析方法[5]。它是目前电子商务协议的主要形式化分析工具。本文分为两部分，前部分指出了Kailar形式化分析方法的三个缺陷：（1）不能分析协议的公平性；（2）列举初始化假设是非形式化的，不当地引入初始化假设会导致协议分析的失败；（3）无法理解包含有签过名的密文的协议语句。后部分进出了一种新的形式化分析方法。和Kailar形式分析方法相比较，新的形式化分析方法主要有三个优点：（1）能有效分析协议的公平性。在进行公平性分析时充分考虑了通信信道的可靠性；（2）初始化拥有集合只依赖于环境，不需要人为地引入初始化假设；（3）增加了密文理解规则，它能有效地分析包含有签过名的加密公式的消息。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 33 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6336]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 周典萃. 电子商务协议的形式化分析方法[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1999. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论