一个公平的反拒认协议

在电子证据的基础上提出了一个新的公平的反拒认协议,它具有效率高、实用性强的特点,高效地解决了收发双方拒认问题.     

基于交互确认机制的公平电子现金交易协议研究

公平性是电子现金交易协议应满足的重要属性,信道不可靠和交易实体不诚实是破坏交易公平性的主要原因。针对于此,借鉴不可否认转换签名的思想,构建交互确认机制,并基于改进的CEMBS可验证算法,提出一种新的公平电子现金交易协议,并对协议属性进行分析。分析表明,该协议有效解决上述原因引起的交易不公平问题,在满足公平性和匿名性的同时,可有效避免交易的模糊状态。     

一种新型快速的公钥加密方案

借鉴NTRU公钥密码体制的设计思想,提出了一种基于因式分解困难性的全新公钥加密方案.该方案安全、简单、高效,易于实现,且密文具有随机性的特点,非常适合于小数据量和受限环境(如手机、智能卡)下的加密通信.     

基于二次剩余的最优公平电子商务交换协议

设计了一个可适用于计算机网络如Internet上进行电子货物交易的高效最优公平电子商务协议.考虑到现有的电子支付手段的实际使用情况,协议中使用在线的电子支付系统.新设计的协议具有高效、实用、离线的TTP、真正公平、易于实现等优点.     

基于SET协议的网上支付系统的总体设计

简介了电子商务，讨论了电子商务的安全性要求，安全措施和有关的协议标准，分析SET协议，描述了SET协议中安全数据传输的整个过程。在此基础上，提出了一个基于SET协议的完整的电子支付系统的总体设计，为网上商店系统提供在线支付功能。     

电子商务的安全技术

随着Internet网、计算机技术、网络技术的发展,提出了一种新兴的商务模式-电子商务,为了实现电子商务的安全交易,常见的电子商务安全技术有SET、SSL、PKI等。目前,广泛采用基于PKI的数字证书技术来对网上所要传输的数字信息进行加密和签名,同时利用证书对传输双方的身份进行验证,从而保证了电子商务的安全。     

一个带半可信第三方的公平非否认交换协议

以带盲密文的可验证加密作为基础，构造了一种新的带有半可信第三方的非否认协议，该协议是第一个使用半可信第三方的非否认协定，它有效地避免了参与各方否认曾经传输或曾经收到一个特定消息；不仅保证了不可否认性，而且不破坏协议的公平性，由于使用的是半可信第三方，从而协议更实用。     

中国借记卡安全电子支付的模型和协议研究

为使中国借记卡支持安全电子交易协议（SET），分析了中国借记卡的支付特点，提出了中国借记卡进行SET支付的模型和协议，该模型和协议基于SET协议，并且优化了SET协议，较好地解决了支付卡进行了电子商务支付的问题，并提出了中国借记卡进行SET支付的关键问题和解放办法：一是进行系统优化以提高性能；三是加强持卡者的身份认证。     

中国金融IC卡安全电子支付的模型和协议研究

研究了中国金融IC卡如何支持SET1．0协议,提出了两种支付协议。第1种协议基于通用芯片扩展,由于IC标准的差别,需要修改中国金融IC卡规范。第2个协议是采用中国金融IC卡中电子存折的圈提业务定义,实现对SET的支持。该方案对现有中国金融IC卡系统改动了最小,比较可行,并采用服务器线包方式,将持卡者软件分为两部分,不仅可以完成SET对持卡者系统的大部分定义功能,还可以完成中国金融IC卡的各种认证工作。     

一个高效的受限盲签名协议

受限盲签名协议用于电子现金协议中，其目的是为了能用“发现”的方法发现重复花费，提出了一个受限盲签名协议，与目前最高效的Brands受限盲签名协议相比较，其限制性更强，效率更高。还对该受限盲签名协议的安全性进行了证明。     

基于ATL的KM非否认协议形式化分析

研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模.     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

不可否认协议形式化分析的SVO逻辑方法

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析．在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因．这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等．分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标．通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性．     

An Efficient Fair Electronic Cash System

In this paper, an efficient fair e-cash system is presented. Based on the improved Brands‘ ecash scheme, it is expanded by adding two roles, government and judges. The user can keep unconditionally anonymous in normal transactions. Authorized by the judges, the government can remove the identity of an illegal user with the help of the bank. So such misuse as blackmailing or money laundering can be prevented. Therefore, this scheme is more efficient, more suitable for adopting pre-processing and post-processing and more practical. In the paper, the details of the scheme are described, its sccuritv is oroved, and its efficiency is analyzed.     

一种基于恶意主体的通用公平交换协议

在公平交换协议中,无可信第三方的协议不能实现较充分的公平性,离线可信第三方协议在恶意主体的情况下仍需第三方的介入,且效率大大降低.另外,现有的公平交换协议大多针对特定项的交换,通用性不强.针对以上不足,采用低负荷在线第三方的方法,提出了一种基于恶意主体的通用公平交换协议,并给出了可能影响协议公平性的各种属性分析.分析结...     

一个新的代理签名方案的设计

在Shum和V ictor研究的基础上,提出了一个保护代理签名者隐私的强代理签名新方案,这个方案不要求在原始签名人和代理签名人之间保持一个安全的信道,任何一个恶意的攻击者都不可以通过截取代理授权信息来伪造代理签名者的签名.并且这个方案能够满足强不可伪造性和强不可否认性.     

略论电子证据

随着信息时代的到来，在电子商务中，电子证据的证据价值与功能日显重要。电子证据是指在计算机或计算机系统运行过程中产生的以其记录的内容来证明案件事实的电磁记录物，其具有不同于传统证据的特征。在证明力问题上，电子证据既不同于书证也不同于视听资料，应该根据其在具体案件中所起的作用归类，电子证据的保全应引入公证机制。     

PWFQ:一种基于优先级共享带宽的加权公平排队算法

对WFQ算法无法保证实时业务QoS的原因进行了深入分析,指出了WFQ算法的公平调度原则存在的不足,提出了一种基于优先级分配带宽的PWFQ算法.这种算法根据业务的延时性能对带宽的敏感程度划分业务的优先级,在链路带宽不足的条件下,能够有效保证高优先级业务的QoS要求.仿真结果显示,PWFQ算法不仅改善了实时业务的延时和延时抖动性能,并且能够将它们的最大延时控制在允许的范围之内.