中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
电子商务协议的形式化分析方法
作者: 周典萃
答辩日期: 1999
专业: 计算机应用技术
授予单位: 中国科学院软件研究所
授予地点: 中国科学院软件研究所
学位: 博士
关键词: 可追究性 ; 电子商务 ; 公平性 ; 形式化方法 ; 协议
摘要: 近年来,电子商务协议的设计逐渐成为热点,可追究性和公平性是电子商务协议应遵循的两个重要原则,可追究性指电子商务协议必须具备这一机制,它迫使交易双方对自己的行为负有责任。缺乏可追究性,交易双方容易引起争议。公平性指如果交易成功,交易双方应该获得他们要取得的电子货物;或者,如果交易失败,交易双方谁也不能获得要取得的电子货物,过去在认证协议分析方面的经验[11]表明,协议设计是一个极度易出错的工作。因此Rajashekar Kailar提出了一种用于分析电子商务协议可追究性的形式化分析方法[5]。它是目前电子商务协议的主要形式化分析工具。本文分为两部分,前部分指出了Kailar形式化分析方法的三个缺陷:(1)不能分析协议的公平性;(2)列举初始化假设是非形式化的,不当地引入初始化假设会导致协议分析的失败;(3)无法理解包含有签过名的密文的协议语句。后部分进出了一种新的形式化分析方法。和Kailar形式分析方法相比较,新的形式化分析方法主要有三个优点:(1)能有效分析协议的公平性。在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,它能有效地分析包含有签过名的加密公式的消息。
英文摘要: The is a growing interest in the design and development of electronic commerce protocols. Accountibility and fairness are the two important rules that electronic commerce protocols must satisfy. Accountability is the ability to hold individuals or organizations accountable for transactions. Without such assurances, electronic transactions can be susceptible to disputes. Fairness means that if the transaction success, both principals of transaction get the items they except, or,in case of failure, neither do. However, protocols design has been extremely error prone by past experience with authentication protocols[11]. Therefore, Rajashekar Kailar has proposed a very important framework[5] for the analysis of electronic commerce protocols that require accountibility. This paper has divided into two parts. In the first part we point out that the framework that Kailar proposed needed to be improved in three aspects. Firstly, the framework cannot analyze fairness of protocols. Second, articulating initial state assumptions is an informal and error-prone step. At last, the messages with encrypted contents in the protocol cannot be interpreted. In the second part we proposed a new framework for the analysis of electronic commerce protocols. Comparing to the framework proposed by Kailar, our framework has three major improvement. Firstly, it can analyze fairness of protocols. In the analysis of fairness, it takes the reliable of commucation channels into consideration. Second, with a new postulate, it can handle the messages with encrypted contents. At last, the way of articulating principal's initial own sets is formal.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6336
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
LW002866.pdf(1635KB)----限制开放-- 联系获取全文

Recommended Citation:
周典萃. 电子商务协议的形式化分析方法[D]. 中国科学院软件研究所. 中国科学院软件研究所. 1999-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[周典萃]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[周典萃]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace