一种小额支付协议的研究与设计

分析了PayWord这种小额支付协议,针对PayWord的一些关于交易原子性的局限性,提出了一种新的支付协议--CertWord,此协议沿用PayWord协议的Payword链来表示货币,充分利用交易证书对交易信息进行签名,并记录交易步骤的状态,从流程上保证交易的原子性。     

基于组合设计方法的安全支付协议的设计与验证

针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性.新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易.     

基于UPPAAL的简单网络支付协议形式化验证

分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接收来自其它进程的超时信息,在各主体的计时器触发超时之后,计时器将发送超时信息,再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性,并且比原模型更加符合协议运行的实际环境。     

基于P2P网络中信誉机制的安全电子交易协议

文章对安全电子交易协议(SET)进行分析,提出带信任度的SET改进方案,通过对原有的交易流程进行改进,使改进后的SET不仅继承了原有的机密性、完整性,而且也可以进一步保障交易的原子性和不可否认性,提高商家对客户售后投诉的响应速度,避免了商家的通过聘用托的合谋攻击问题,有效保证交易双方的公平性.     

NetBill协议的形式化描述及分析

通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.     

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

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

可靠组播协议性能分析与评价研究

对4种典型的可靠组播协议XTP,SRM,RMTP和RMP进行了分析.这些协议有各自不同的适用范围:如RMTP协议基于树的拓扑结构,RMP基于环的拓扑结构,而XTP和SRM则没有拓扑的限制.本文对上述协议从可扩展性、可靠性、原子性和网络性能方面进行了比较研究,同时对协议模型进行了网络性能上的定量计算.可以看出,RMTP在可靠性方面高于其他协议,但同时也带来了最大的网络资源开销.而SRM和RMTP协议在可扩展性方面也远远好于XTP和RMP协议.最后,从容错角度对可靠组播协议进行了进一步的分析.     

一个认证协议的串空间模型与分析

认证性和保密性是认证协议设计的两个关键目标,针对在Needham—Schroeder和Otway—Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标．     

OT，DT分子基态（X^2Ⅱ）的结构与势能函数

采用密度泛函方法（B3LYP）和二次组态相互作用方法（QCISD（T））优化计算了OT,DT分子基态（X^2Ⅱ）的平衡结构、振动频率和离解能．根据原子分子反应静力学原理,导出了OT,DT分子基态（X^2Ⅱ）的合理离解极限,采用最小二乘法拟合Murrell—Sorbie函数得到了相应的势能函数和与该基态相对应的光谱常数（Be,αe,ωe,和ωeχe）,计算结果与实验数据符合得相当好．     

H4氢原子团簇结构与能量的计算

作者为了探索撤去高压后金属氢是否仍可能存在，将H4原子团簇正四面体空心结构的核外电子等效为类Be原子的^1s态，选用两个变量波函数的变分公式，用Matlab数值分析，法计算出了它的最低能量值为：-29．1275586e0（e0为e^2／α0，e电子电量，α0为氢原子的第一玻尔半径），同MACQM的计算值比较，相对误差较小，研究结果说明，由作者提出的物理模型和计算方法是有效可靠的．     

基于代理签名的多银行公平可分电子现金系统

目的为了实现商家和用户各自使用不同银行的安全公平可分的电子支付。方法基于WI-Schnorr部分盲签名方案,通过引入代理签名,设计了一个无TTP的多银行公平可分电子现金系统。结果一方面,系统可以方便地撤销发币银行的发币权利,解决发币银行合伙攻击的问题;另一方面,系统保证了发币银行和合法用户的匿名性,实现对电子现金和用户的追踪。结论通过分析,证明该方案是一个安全的多银行可分电子现金系统。     

一个可审计的离线电子现金方案

提出了一个高效率的可审计的离线电子现金方案, 用户有权控制去除电子现金的匿名性,即使没有可信第三方的存在. 相对于以前提出的可审计电子现金方案,方案的一个优点是银行在查询电子现金的花费者时,可以直接找到相应的用户帐号,而之前的方法都是从银行的整个提取现金的数据库去遍历搜索,导致效率很低.另一个贡献是构造了第一个多面值的可审计的离线电子现金方案.     

一个新的在线电子支付协议

提出了一个在线的电子支付协议，该协议不仅能在交易前查出电子现金是否已花费过，且能对数字商品进行内容和质量的确认，保证消费者在付了款后商家发送商品，并且商品的质量有保证，对非数字商品则有商家签名的凭证来承诺其质量。该电子支付方案是对传统商业交易的一个模拟，具有很强的实用性。     

A proxy blind signature scheme and an off-line electronic cash scheme

To support withdrawing and storing money from all levels of the bank for the customers in the real world, in this paper, we propose a proxy blind signature scheme and an off-line e-cash scheme based on the new proxy blind signature scheme. The proposed proxy blind signature is proven secure in the random oracle model under chosen-target computational Diffie-Hellman assumptions, and the e-cash scheme can satisfy the security requirements of unforgeability, anonymity, and traceability.     

集成数据库和文件系统的多数据库事务模型

提出了一种适合于集成文件系统和数据库系统的多数据库事务模型,讨论了事务模型组成元素全局事务管理器、事务提交协议和局部执行代理的设计与实现．     

分布式工程数据库系统中事务管理机制相关技术的研究

从分布式工程设计事务环境和事务管理特点出发,给出一种分布式工程数据库系统（DEDBS）事务管理子系统的体系结构,提出一种适用于DEDBS中的事务两阶段提交协议,介绍两种支持工程设计事务的并发控制方法;基于20L的扩充分层封锁模型的并发控制方法和改进的乐观并行控制方法。     

一种基于两级事务模型的先提交协议

将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型．分析了一种提交协议：局部数据库的全局子事务先于全局最终决定提交，简称先提交协议．指出先提交协议十分适合两级事务模型，能取得很高的并发度     

电子现金系统及其安全性研究

通过对电子现金系统及其特点的介绍，对20年来电子现金系统的发展及其安全性进行了概要论述，并以一个公正的离线电子现金系统为例，深入探讨了电子现金系统的特点及其安全性，最后提出电子现金系统在实用化方面面临的需要解决的几个问题．     

A Fair E-Cash Payment Scheme Based on Credit

A new fair e-eash payment scheme based on credit is present in this paper. In the scheme, an overdraft credit certificate is issued to user by hank. Using the overdraft credit certificate, user can produce e-cash himself to pay in exchanges. Merchant can verify the e-cash received from user. Bank can make a fair dis pute resolution when there is a dissension between user and merchant. It can avoid ＇the problem of partition e-cash for changes, prevent from reusing e-cash and fa- king e-cash, It. fits justice, anonymity, non deny and impartiality.     

Nested Transaction Concurrency Control in Parallel Real-Time Databases

An integrated method for concurrency control in parallel real-time databases has been proposed in this paper. The nested transaction model has been investigated to offer more atomic execution units and finer grained control within in a transaction. Based on the classical nested locking protocol and the speculative concurrency control approach, a twoshadow adaptive concurrency control protocol, which combines the Sacrifice based Optimistic Concurrency Control （OPT-Sacrifice） and High Priority two-phase locking （HP- 2PL） algorithms together to support both optimistic and pessimistic shadow of each sub-transaction, has been proposed to increase the likelihood of successful timely commitment and to avoid unnecessary replication overload.