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