视频支付协议的设计与分析

论文摘要

随着计算机网络的普及及其技术的发展,基于网络的视频应用越来越普遍。在因特网上视频支付服务越来越重要,这一领域应用数量的不断增长,使得研究如何在因特网上执行公平的在线交易的方法越来越受关注。由此,公平交易成为一个中心问题,也就是如何以公平的方式通过网络交易服务,其中,如何保证交易的公平性是基于该应用的关键。所谓公平性是指在协议执行的任何阶段,参与协议的任何一方都不占优势。公平性有两层含义：首先,正确的执行完协议后,应当满足可追究性,保证双方收到非否认证据,即保证发方收到EOR且收方收到EOO。其次,如果协议异常终止,协议应当保证通信双方都处于同等地位,任何一方不占任何优势。公平交易就是满足公平性的安全电子商务交易。本文首先介绍了一些安全电子商务的公平性的知识,并选取了一种卿斯汉老师提出的比较独特新颖的新形式化逻辑分析方法,对其进行了介绍,并以此方法分析了三个典型的安全电子商务协议,对其中所存在的非公平现象的原因提出了一些解决方法,在此基础上对这三个协议的不足和缺陷做了分析,并且对其做了改进,然后根据这些问题以及对它们的解决方案,本文提出了两个新的公平交易协议并对其公平性用新形式化逻辑分析法做了分析。新协议不仅可以满足公平性,而且在保密性上也十分出色。文章最后也对新协议存在的不足和缺陷做了讨论。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 研究背景
• 1.2 研究目的
• 1.3 论文主要工作及安排
• 第二章 视频支付概述及协议设计相关内容
• 2.1 几个重要概念
• 2.1.1 对称加密体制
• 2.1.2 公钥加密体制及公钥加密技术
• 2.2 对称加密体制及公钥加密体制的比较
• 2.2.1 公平性
• 2.2.2 不可否认性
• 2.2.3 可追究性
• 2.3 公平交易协议与传统安全协议的区别及其设计原则
• 2.4 形式化逻辑分析方法
• 2.5 新形式化逻辑分析方法
• 第三章 WEB视频下PPV协议的分析与改进
• 3.1 WEB视频下PPV协议
• 3.1.1 Web视频下PPV协议的概念
• 3.1.2 Web视频下PPV协议的计费模型
• 3.2 WEB视频下PPV协议的分析
• 3.3 WEB视频下PPV协议的改进
• 第四章 CMP1协议的分析与优化
• 4.1 CMP1协议
• 4.2 CMP1协议的分析
• 4.3 CMP1协议的优化
• 第五章 WANG GUILIN通用透明OFF-LINE TTP公平非否认协议的分析与改进
• 5.1 WANG GUILIN的通用的透明OFF-LINE TTP公平非否认协议
• 5.1.1 协议介绍
• 5.1.2 协议内容
• 5.2 WANG GUILIN的通用的透明OFF-LINE TTP公平非否认协议的分析
• 5.3 WANG GUILIN的通用的透明OFF-LINE TTP公平非否认协议的改进
• 第六章 两个公平交易协议的设计
• 6.1 移动通信环境下PPV协议的支付模型
• 6.2 视频传输公平非否认交易协议
• 第七章 两个公平交易协议的分析
• 7.1 移动通信环境下PPV协议的支付协议分析
• 7.2 视频传输公平非否认交易协议
• 第八章 总结与展望
• 参考文献
• 致谢
• 攻读学位期间发表学术论文目录