基于知识和信念模型的电子商务协议分析

发布时间：2017-04-24 23:09

  本文关键词：基于知识和信念模型的电子商务协议分析，由笔耕文化传播整理发布。

【摘要】：近年来电子商务活动发展迅速，已经成为我们日常消费行为和国家经济活动的重要组成部分。如何保证电子商务交易的安全，所采用的电子商务协议是否安全可靠，成为当今研究的热门课题。电子商务协议不同于一般协议，作为一种安全协议不仅要满足认证协议、密钥交换协议等所具有的一般安全要求，而且要具备可追究性、公平性、匿名性等电子商务协议的特殊要求。 首先，目前分析电子商务协议的模型多是移植安全协议的分析模型，不能很好地描述电子商务协议，同时不具有通用性。本文参考现有分析方法并通过研究现有电子商务协议，提出了电子商务协议的知识与信任模型。提出了知识集、信念集、知识化、全因子、切入点等概念，，对电子商务协议进行了清晰、合理的形式化描述。知识集、信念集很好地描述了主体的能力，解决了长期以来对主体能力描述不清，无法进行彻底的形式化的问题。尤其是切入点的提出，为攻击者的攻击模式提供了一般通用解决办法，不必再依赖于现有的已知攻击模式。 其次，在知识与信念模型的基础上，提出了本文的推理逻辑和性质判定标准，基于模型的原子化分类理念，同样对推理逻辑进行了分类型的处理，使其更加简化，更具有通用性。同时，对判定协议的安全性、可追究性、公平性和匿名性提出了明确的推理目的并给出了系统的理论证明。 最后，结合具体协议验证本文提出的方法并进行实际应用。通过利用本文提出的分析电子商务协议的分析方法对几种常见的协议进行形式化分析，研究协议的安全性、可追究性、公平性、匿名性，来验证本文所提出的方法。
【关键词】：形式化分析 知识和信念模型 全因子 切入点
【学位授予单位】：燕山大学
【学位级别】：硕士
【学位授予年份】：2012
【分类号】：TP393.04
【目录】：

• 摘要5-6
• Abstract6-9
• 第1章 绪论9-13
• 1.1 课题背景和研究意义9-10
• 1.2 国内外研究现状10-11
• 1.2.1 安全协议的分析方法10-11
• 1.2.2 电子商务协议的分析方法11
• 1.3 本文研究内容11-12
• 1.4 本文组织结构12-13
• 第2章 电子商务技术13-19
• 2.1 电子商务安全13-15
• 2.1.1 电子商务安全技术13
• 2.1.2 电子商务安全体系结构13-14
• 2.1.3 常见电子商务安全问题14-15
• 2.2 公钥基础设施15
• 2.3 电子商务交易体系15-16
• 2.4 形式化技术16-17
• 2.5 模态逻辑17-18
• 2.6 本章小结18-19
• 第3章 知识与信念模型19-29
• 3.1 模型实体19-20
• 3.2 安全环境20-21
• 3.2.1 理想环境20
• 3.2.2 自然环境20-21
• 3.2.3 攻击环境21
• 3.3 协议语句的语义21-22
• 3.4 知识集与信念集22-25
• 3.5 主体能力25-26
• 3.5.1 基本能力25
• 3.5.2 切入点25-26
• 3.6 攻击实例26-28
• 3.7 模型建立28
• 3.8 本章小结28-29
• 第4章 推理逻辑和性质判定29-39
• 4.1 推理逻辑29-35
• 4.1.1 逻辑语义29
• 4.1.2 推理规则29-30
• 4.1.3 推理实例30-35
• 4.2 性质判定35-38
• 4.2.1 安全性35-36
• 4.2.2 可追究性36-37
• 4.2.3 公平性37-38
• 4.2.4 隐私性38
• 4.3 本章小结38-39
• 第5章 验证与应用39-57
• 5.1 IBS 协议39-45
• 5.1.1 IBS 协议语句的形式化40
• 5.1.2 IBS 协议的形式化分析40-44
• 5.1.3 IBS 协议分析总结44-45
• 5.2 ZG 协议45-49
• 5.2.1 ZG 协议语句的形式化45-46
• 5.2.2 ZG 协议的形式化分析46-48
• 5.2.3 ZG 协议分析总结48-49
• 5.3 SET 协议49-55
• 5.3.1 SET 协议语句的形式化49-51
• 5.3.2 SET 协议的形式化分析51-54
• 5.3.3 SET 协议分析总结54-55
• 5.4 性能总结55
• 5.5 与其他方法的比较55-56
• 5.6 本章小结56-57
• 结论57-59
• 参考文献59-62
• 攻读硕士学位期间承担的科研任务与主要成果62-63
• 致谢63-64
• 作者简介64

【参考文献】

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

1 周展飞,周典萃,王贵林,卿斯汉;电子商务协议的公平性[J];电子学报;2000年09期

2 顾永跟;傅育熙;;基于进程演算和知识推理的安全协议形式化分析[J];计算机研究与发展;2006年05期

3 李继国;曹珍富;李建中;;电子现金技术[J];计算机科学;2004年01期

4 缪祥华;何大可;;Kailar逻辑的串空间语义[J];计算机科学;2006年03期

5 郭华;李舟军;庄雷;计宏霖;;一种新的电子商务协议分析方法[J];计算机科学;2010年08期

6 陆阳;肖军模;刘晶;;一种新的安全协议形式化分析方法——证据逻辑[J];计算机工程;2008年02期

7 王彩芬,葛建华;一种分析电子商务协议的新方法[J];计算机学报;2004年04期

8 薛锐;冯登国;;安全协议的形式化分析技术与方法[J];计算机学报;2006年01期

9 毛晨晓;罗文坚;王煦法;;分析安全协议猜测攻击的模态逻辑方法[J];计算机学报;2007年06期

10 顾永跟;李国强;王国钧;;基于类pi演算的电子支付协议安全性形式化研究[J];计算机应用研究;2006年03期

  本文关键词：基于知识和信念模型的电子商务协议分析，由笔耕文化传播整理发布。

本文编号：325144