基于e-Cash的电子商务交易协议研究
e-Cash论文 原子性论文 匿名性论文 不可否认性:交易协议论文
论文详情
计算机网络技术飞速发展,网络化和全球化成为不可抗拒的世界潮流,电子商务成为Internet及信息技术向纵深发展的一个重要标志,是历史进步的一个里程碑。在电子商务活动中,e-Cash以极好的安全性、可靠性和匿名性,受到人们的青睐,成为一种重要的、不可替代的电子支付手段。本文针对e-Cash交易协议中原子性与匿名性之间的矛盾,以保护交易双方利益为出发点,围绕e-Cash交易协议的模型、算法、形式化验证方法等方面展开深入研究。本文主要研究内容如下: 1.根据e-Cash的交易特点,总结归纳了为保护交易双方利益,e-Cash交易协议必须满足的各种属性;同时,对e-Cash交易协议的安全技术体系进行了分析,明确了e-Cash交易协议在体系中的层次位置。 2.在交易协议安全技术体系及其逻辑层次分析的基础上,对e-Cash交易的底层安全技术展开了两方面的研究: (1)底层防火墙技术的研究与实现。基于Linux的IPChains实现用户访问控制。利用Linux内核IPChains,引入“挑战—应答”身份认证机制来实现用户的访问控制;该系统除具有透明性和一致性之外,仍具有包过滤防火墙的高效性,是一种保证电子交易安全、相对简单、实用、高效的防火墙访问控制系统; (2)基于VPN的AAA管理系统的研究。根据IPSec为隧道协议的虚拟专用网络系统的特点,通过制订了一套完整的AAA管理通信协议来实现认证、授权、记账三方面的功能,并且采用分散管理的机制和策略化网络连接思想,从而提高了系统灵活性,是更为方便、灵活、高效的用户管理系统。 通过对底层安全技术的研究,为e-Cash交易协议提供了底层网络服务平台,为后续基于e-Cash交易协议的深入研究奠定基础,以便更好地进行核心问题的研究。 3.通过对e-Cash协议属性及多个e-Cash交易协议的研究分析,针对e-Cash交易协议的匿名性和原子性之间存在的矛盾,以及目前对于该矛盾的解决方案中,对协议核心属性讨论层次不够清晰,难以直接确定协议属性本质的问题,基于文献[87]提出的电子商务系统框架的基础上,利用Linear-Time Temporal逻辑,提出并建立了离线可信第三方匿名原子的电子现金交易协议模型,并对协议模型中的原子性进行详细分析证明。大连理工大学博士学位论文 4.在RSA可转换不可否认签名方案的基础上,提出了交互确认协议—ICSP协议,并证明该协议安全、有效。同时,利用扩展CEMBS算法和ICSP交互确认协议,基于Brands电子现金方案,设计并提出了离线可信第三方匿名原子e一Cash交易协议。对所设计协议的原子性、匿名性、终止性、不可否认性、安全有效性进行了分析证明,并与同类典型协议在效率、存贮量、交易时限和终止性等方面进行比较,证明了设计协议的高效性。 5.基于SVO逻辑,提出了一种验证电子商务交易协议的新形式化逻辑验证方法。通过对两个经典的电子商务交易协议的实例分析,发现了SVO逻辑在分析电子商务交易协议中存在的局限与不足。通过引入交易协议的动态性概念,对原有SVO逻辑分析框架进行扩展,提出了一种更适合于分析电子商务交易协议的新形式化逻辑验证方法。新方法对于协议的分析具有不需人为引入初始化假设,仅依赖协议的运行环境的特点,是一个更为严密的形式化分析方法;同时,新方法不仅可以静态验证协议的不可否认性,还能够动态验证协议的原子性。并利用新方法对多个经典电子商务协议进行实例分析,验证了新方法的正确性、有效性。同时,使用新方法对本文所设计的e一Cash交易协议的原子性和不可否认性进行了验证。
1 绪论 | 第11-29页 |
1.1 引言 | 第11-15页 |
1.2 e-Cash交易协议研究进展 | 第15-24页 |
1.2.1 e-Cash交易协议的原子性 | 第15-20页 |
1.2.2 e-Cash交易协议的匿名性 | 第20-22页 |
1.2.3 交易协议模型 | 第22-24页 |
1.3 电子商务交易协议验证方法的研究与进展 | 第24-26页 |
1.4 论文的主要研究工作 | 第26-29页 |
2 e-Cash交易协议属性及底层技术研究 | 第29-44页 |
2.1 e-Cash交易协议属性 | 第29-32页 |
2.1.1 e-Cash交易协议的特殊性 | 第29-30页 |
2.1.2 e-Cash交易协议属性 | 第30-32页 |
2.2 e-Cash交易协议安全技术体系结构 | 第32-33页 |
2.3 e-Cash交易协议底层技术研究 | 第33-43页 |
2.3.1 基于Linux的IPChains实现用户访问控制系统 | 第33-38页 |
2.3.2 虚拟专用网的AAA管理系统的研究与设计 | 第38-43页 |
小结 | 第43-44页 |
3 离线可信第三方匿名原子的e-Cash交易协议模型 | 第44-68页 |
3.1 协议模型假设 | 第44-45页 |
3.2 电子商务系统的模型化 | 第45-50页 |
3.2.1 消息处理模型化 | 第45-47页 |
3.2.2 电子商务系统模型化 | 第47-48页 |
3.2.3 协议规则模型化 | 第48-50页 |
3.2.4 协议信任假设和原子性表示 | 第50页 |
3.3 e-Cash交易协议模型 | 第50-67页 |
3.3.1 数据类型及映射函数 | 第52-55页 |
3.3.2 交易协议模型初始化 | 第55-56页 |
3.3.3 消费者本地协议模型 | 第56-58页 |
3.3.4 商家本地协议模型 | 第58-59页 |
3.3.5 可信第三方本地协议模型 | 第59-61页 |
3.3.6 交易协议模型的原子性分析 | 第61-67页 |
小结 | 第67-68页 |
4 离线可信第三方匿名原子e-Cash交易协议 | 第68-99页 |
4.1 扩展的CEMBS可验证加密算法 | 第68-70页 |
4.2 ICSP交互确认协议设计 | 第70-77页 |
4.2.1 注册 | 第71-72页 |
4.2.2 ICSP交互协议 | 第72-73页 |
4.2.3 不可否认签名的转换 | 第73-74页 |
4.2.4 ICSP协议的安全性分析 | 第74-77页 |
4.3 离线可信第三方的匿名原子e-Cash交易协议 | 第77-87页 |
4.3.1 交易协议设计思想 | 第77-79页 |
4.3.2 e-Cash提取 | 第79-81页 |
4.3.3 Transaction协议 | 第81-84页 |
4.3.4 Cresolve协议 | 第84-86页 |
4.3.5 Mresolve协议 | 第86-87页 |
4.3.6 Abort协议 | 第87页 |
4.4 匿名原子交易协议分析 | 第87-93页 |
4.4.1 原子性分析 | 第87-89页 |
4.4.2 匿名性分析 | 第89-90页 |
4.4.3 终止性分析 | 第90-92页 |
4.4.4 安全有效性分析 | 第92页 |
4.4.5 不可否认性分析 | 第92-93页 |
4.5 交易协议的比较 | 第93-97页 |
4.5.1 J.D.Tygar协议 | 第94-95页 |
4.5.2 协议执行效率比较 | 第95-97页 |
4.5.3 交易时限和终止性 | 第97页 |
4.5.4 数据存贮 | 第97页 |
小结 | 第97-99页 |
5 电子商务交易协议形式化验证方法 | 第99-126页 |
5.1 SVO形式化验证方法 | 第99-103页 |
5.1.1 SVO形式化验证方法 | 第100-102页 |
5.1.2 SVO分析框架 | 第102-103页 |
5.2 SVO形式化验证方法的缺陷 | 第103-108页 |
5.2.1 Zhou Gollmann协议验证 | 第103-105页 |
5.2.2 ISI协议验证 | 第105-107页 |
5.2.3 SVO分析方法存在的局限性 | 第107-108页 |
5.3 电子商务交易协议新形式化验证方法 | 第108-112页 |
5.3.1 基本符号 | 第108页 |
5.3.2 协议运行环境及语义 | 第108-110页 |
5.3.3 推理规则 | 第110-112页 |
5.3.4 协议分析步骤 | 第112页 |
5.4 新形式化方法的应用实例 | 第112-124页 |
5.4.1 Zhou Gollmann协议形式化验证 | 第112-115页 |
5.4.2 ISI支付协议形式化验证 | 第115-118页 |
5.4.3 匿名原子电子商务交易协议形式化验证 | 第118-121页 |
5.4.4 离线可信第三方匿名原子e-Cash交易协议验证 | 第121-124页 |
小结 | 第124-126页 |
6 结论与展望 | 第126-128页 |
参考文献 | 第128-135页 |
附录 | 第135页 |
附录1 攻读博士学位期间发表的学术论文 | 第135-136页 |
附录2 攻读博士学位期间参加的科研项目 | 第136页 |
附录3 攻读博士学位期间获得的奖励 | 第136-137页 |
致谢 | 第137-139页 |
论文购买
论文编号
ABS1443657,这篇论文共139页
会员购买按0.30元/页下载,共需支付
41.7。
不是会员,
注册会员!
会员更优惠
充值送钱!
直接购买按0.5元/页下载,共需要支付
69.5。
只需这篇论文,无需注册!
直接网上支付,方便快捷!
相关论文