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

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

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

SSL协议与SET协议分析

电子商务安全问题的核心和关键是电子交易的安全性，对目前电子交易中经常使用的两种安全在线支付协议即安全套接层SSL协议和安全电子交易SET协议的功能、工作原理、各自存在的问题进行探讨，在此基础上提出对两种协议进行改进和融合的设想．阐明在未来的一段时间里，会出现商家需要支持SET和SSL两种支付方式的局面．     

SSL协议与SET协议的分析与比较

电子商务安全问题的核心和关键是电子交易的安全性,目前电子商务交易中广泛使用的两种安全在线支付协议是安全套接层SSL协议和安全电子交易SET协议。其中,SEL协议已经得到了广泛的应用,而SET协议则是今后的发展趋势。本文首先对这两种协议的工作原理进行了分析和比较,同时对这两种协议各自存在的主要问题进行了深入探讨,并在此基础上提出对这两种协议的改进设想,阐明在未来一段时间里,必将由SET与SSL并存过渡到一种融合SET与SSL的新型安全协议。     

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

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

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

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

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

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

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

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

浅议在线支付的安全与可行性

在线支付是电子商务中极其关键的一环。只有实现了在线支付,才能进行真正意义上的电子商务交易,否则电子商务只能停留在网上信息发布与搜索、初步意向达成和草签协议阶段,而是否采用在线支付最主要考虑的因素就是安全。我国电子商务和网上交易近年来取得了较大的发展,然而也存在很多问题,其中在线支付就是我国电子商务发展的瓶颈之一。这篇文章主要分析了在线支付的安全性和可行性,并通过对在线支付系统的总体设计,主要讨论了如何更加安全地实现网上交易,支付系统网络组网方案,支付系统数据库设计,在线支付确认系统设计等问题,重点讨论如何建立支付确认系统进行支付确认,如何为消费者提供更多更方便的支付方式,探索建立更加安全,更加快捷的支付系统。     

基于SET协议的网上支付安全探讨

SET协议在维护网上支付的安全方面起着十分重要的作用,通过对SET协议的安全标准进行分析,指出了SET协议在网上支付过程中始终存在的商家欺诈、持卡人敏感信息泄漏等风险,给出了一个在SET协议中引入第三方支付平台的改进方案。     

电子商务的安全技术

随着电子商务的发展和广泛的应用，其安全性和保密性变得日益重要起来。本论述了电子商务的安全现状、安全要求、安全体系以及安全相关技术，同时介绍了国际上比较通用的电子支付安全协议。     

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

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

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

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

借记卡安全电子支付的身份认证协议研究

为了加强借记卡处理安全电子交易（SET）协议的身份认证，在SET支付协议的基础上，提出了两种对借记卡身份进行认证的协议，使借记卡可以进行SET支付，第一种协议是在SET协议中增加个人密码的加密传输，第二种协议是采用服务器钱包模型，由服务器钱包对借记卡进行身份认证和余额检查，这两种协议可适应不同情况，较好地解决了SET协议对借记卡的支持。     

基于SSL和SET协议的电子商务交易安全问题研究

电子商务的安全问题一直受到人们的关注和安全专家的重视,因而安全技术不断的得到发展和应用,如:加密技术,防火墙,安全认证协议等.这些技术的应用极大的促进了电子商务的发展.其中安全协议是保障电子商务交易安全的保障.本文主要在详细分析SSL协议和SET协议的基础上研究了电子商务的交易安全问题.     

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

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

一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法,同时在此基础上,进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析,直接描述各协议内容的贡献度,显示冗余内容对目标实现的无效作用,从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点,它具有模态逻辑方法的优点及缺陷。     

基于椭圆曲线密码体制的金融认证体系

针对电子商务的发展对电子支付环境提出的要求,分别论述了安全电子交易协议、椭圆曲线密码的功能,比较了椭圆曲线密码相对于RSA的优势,并由此讨论了基于椭圆曲线密码体制设计实现金融认证体系的方法.     

3-D Secure协议的安全分析

电子商务是当今社会发展的方向。本文着重对当前最新的电子商务协议3-D Secure进行安全分析,通过与其他安全协议的分析、对比得出当前3-D Secure协议的优势和面临的安全问题,并对安全问题提出加强方案。     

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

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