电子商务协议的形式化分析

发布时间：2017-09-01 23:19

  本文关键词：电子商务协议的形式化分析

  更多相关文章： 电子商务协议 形式化分析 原子性 不可否认性

【摘要】： 电子商务协议的安全性、原子性、不可否认性等性质的验证的方法一直制约着电子商务的发展。形式化分析技术可使协议设计者通过系统分析将注意力集中于接口、系统环境的假设、在不同条件下系统的状态、条件不满足时出现的情况以及系统不变的属性,并通过系统验证,提供协议必要的安全保证。目前,国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于攻击的结构性方法三种。电子商务协议作为安全协议的一部分,这些方法在电子商务协议中同样有效。 本论文应用形式化方法对电子商务协议进行分析,工作如下; 1.概述了电子商务协议的发展过程以及在此发展过程中运用的加密方式和形式化方法。 2.分析了电子商务协议的安全性质,如匿名性、原子性、不可否认性等,并给出了实例分析。 3.在对电子商务协议安全性质全面分析的基础上,设计了一个安全的电子商务协议。该协议满足钱原子性、商品原子性以及不可否认性,最后对协议进行了详细分析。
【关键词】：电子商务协议 形式化分析 原子性 不可否认性
【学位授予单位】：南昌大学
【学位级别】：硕士
【学位授予年份】：2007
【分类号】：TP393.04
【目录】：

• 摘要3-4
• ABSTRACT4-7
• 第1章 引言7-11
• 1.1 研究背景7-8
• 1.2 研究现状8-10
• 1.3 研究内容10
• 1.4 本文结构10-11
• 第2章 概述电子商务协议11-15
• 2.1 电子商务协议的背景11-12
• 2.2 电子商务协议分类12-15
• 第3章 电子商务协议安全基础15-30
• 3.1 逻辑分析方法15-20
• 3.1.1 KAILAR逻辑15-17
• 3.1.2 实例分析17-20
• 3.2 模型检测技术20-25
• 3.2.1 线性时序逻辑LTL语法20
• 3.2.2 线性时序逻辑LTL的语义20-22
• 3.2.3 模型检测器SPIN22-25
• 3.3 加密技术25-30
• 3.3.1 对称密钥加密方式26-27
• 3.3.2 非对称密钥加密方式27
• 3.3.3 消息摘要27-28
• 3.3.4 数字签名28-29
• 3.3.5 公钥证书29-30
• 第4章 电子商务协议安全性质分析30-41
• 4.1 匿名性30-31
• 4.2 原子性31-38
• 4.2.1 原子性的来源31-32
• 4.2.2 实例分析32-38
• 4.3 不可否认性、公平性38-41
• 4.3.1 不可否认性38-39
• 4.3.2 公平性39-41
• 第5章 一个新的电子商务协议41-49
• 5.1 设计电子商务协议的规则41
• 5.2 协议的提出41-42
• 5.3 协议的描述42-44
• 5.4 安全性分析44-49
• 5.4.1 秘密性分析44-45
• 5.4.2 可追究性分析45-46
• 5.4.3 原子性分析46-47
• 5.4.4 公平性分析47-48
• 5.4.5 其他性质48-49
• 第6章 结论与展望49-51
• 6.1 总结49
• 6.2 展望49-51
• 致谢51-52
• 参考文献52-56
• 攻读学位期间的研究成果56

【参考文献】

中国期刊全文数据库 前10条

1 周典萃,卿斯汉,周展飞;Kailar逻辑的缺陷[J];软件学报;1999年12期

2 白硕,隋立颖,陈庆锋,付岩,庄超;安全协议的验证逻辑[J];软件学报;2000年02期

3 陈庆锋,白硕,王驹,张师超,隋立颖;电子商务安全协议及其非单调动态逻辑验证[J];软件学报;2000年02期

4 陈庆锋,王驹,白硕,张师超,隋立颖;电子商务安全协议的逻辑验证[J];软件学报;2000年03期

5 周龙骧;电子商务协议研究综述[J];软件学报;2001年07期

6 周典萃 ,卿斯汉 ,周展飞;一种分析电子商务协议的新工具[J];软件学报;2001年09期

7 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期

8 卿斯汉;电子商务协议中的可信第三方角色[J];软件学报;2003年11期

9 刘怡文,李伟琴;网络支付协议的形式化安全需求及验证逻辑[J];通信学报;2004年04期

10 郝文江;杨永川;;对Kerberos网络认证的一种改进技术[J];网络安全技术与应用;2007年06期

，

本文编号：775005