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

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

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

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

基于可验证秘密分享的移动代理安全支付协议

移动代理的安全问题是移动代理技术面临的一个很大障碍,为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议．文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议的运行效率．结果表明,和已有的方案相比,该协议在保证具有合适运行效率的同时,弱化了已有方案的安全执行条件,增加了系统的安全性和灵活性,因此具有更好的应用价值。     

一种安全协议的形式化验证方法

BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的安全协议。介绍BAN逻辑的产生、成分和分析步骤，指出BAN逻辑的缺陷，由此而产生的改进BAN逻辑和现状，并对BAN类逻辑作全面的回顾与展望，得出：BAN类逻辑仍然是密码协议分析和设计的主要工具，但理想化步骤是BAN类逻辑的致命缺陷的结论。展望了BAN类逻辑研究。对未来协议的形式化分析工作具有指导意义。     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

电子商务网络安全支付协议探究

在线安全支付是保证电子商务发展的关键环节。本文在分析目前主要使用的两种安全支付协议各自原理的基础上,对二者进行了详细的比较,并指出最新安全支付协议的未来发展方向。     

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

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

基于量子纠缠测量理论的电子支付协议设计

提出了一个基于量子力学基本理论的电子支付协议.经典支付系统存在部分漏洞,可能会带来安全隐患.利用纠缠粒子之间的关联性,实现签名、购买、支付等环节;使用量子单向函数和量子交换测试线路,验证签名的有效性;通过信道检测中的冗余粒子传输支付信息,节约成本.该方案在量子力学基本原理的保证下,具有无条件的安全性,符合支付系统的基本要求.     

基于CA的移动终端安全支付系统的研究与设计

针对手机支付中可能出现的安全问题,对基于CA的移动终端支付进行了研究,采用了一种新的密钥管理协议,设计了一种基于CA认证的安全手机支付系统,较好地的解决了目前移动支付中的安全问题。     

一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.     

基于SET协议的档案有偿利用支付系统

借鉴电子商务支付系统的相关知识，从SET协议的角度切入，探讨了档案开发利用中有偿利用支付系统的有关问题，分析了基于SET协议的档案有偿利用支付系统的构成要素及其各部分的功能，简述了该系统的支付流程，在此基础上，总结了基于SET协议的档案有偿利用支付系统的特征。     

关于电子商务系统中安全支付模型的探讨

简要分析了电子支付在安全方面的需求 ,介绍了相关核心技术。具体分析了各种电子支付模式 ,并进行了比较。就安全电子交易协议SET的核心—安全支付模型进行了详细分析 ,并做了一些探讨     

移动电子商务安全支付的实现

文中首先介绍了移动电子商务的发展情况与移动电子商务的基本实现技术;其次对当前电子商务中网络支付的安全威胁进行了分析;然后以公共密钥体制为基础,针对移动通信的特点,从具体工程应用的角度出发,通过理论和实际相结合,并总结和吸收前人工作的成功经验,实现了一个能与最新WAP规范WPKI无缝结合的、能适应于移动电子商务的安全支付平台。     

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

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

利用公共支付平台实现医院网上支付业务

分析了我院与银联商务公共支付平台接口的具体方案及其接口通讯规范与安全规范,介绍了公共支付平台接口的具体实现,并进一步探讨了它在医院网上支付业务应用上的安全性与可行性.     

电子商务中安全支付问题研究

安全支付是电子商务发展中的瓶颈问题,直接制约着电子商务的发展,本文从电子商务对安全支付的要求角度出发,分析了电子商务安全支付中的主要应用技术,希望对建立安全的电子商务交易体系起一定的指导作用     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。