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

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

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

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

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

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

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

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

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

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

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

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

一种基于Agent支持电子供应链和B2B电子商务的工作流模型

在WfMC基础上，给出一个跨企业间的工作流模型．在模型中引入Agent技术．并考虑到现代企业运用电子商务技术和采用电子供应链管理的新特点，提出一种基于Agent支持电子供应链和B2B电子商务的工作流模型．     

一种小额电子现金的交易模型

目前互联网上小额电子现金支付日益频繁．SAS-Coin电子现金方案是一个流行的较为成熟的解决方案之一。本文通过对SAS-Coin电子现金方案的分析．指出了其中的不足．然后在此基础上提出了一种改进电子现金支付模型，从而有效的避免了以前SAS-Coin电子现金方案的不足。     

一种基于SSL的电子商务安全交易模型

针对基于SSL的电子商务系统在交易和支付过程中持卡人的个人隐私得不到有效保护而被有所企图的人收集、散发和滥用的安全缺陷，提出了一种改进方案．并设计出了一种基于SSL的安全交易模型，以对持卡人的个人隐私进行有效的保护。     

一种改进的SET协议

为提高电子商务交易的安全性,通过对SET协议的安全技术、认证体系及交易流程等方面的分析研究,指出了SET协议存在的一些不足.通过引入电子交易认证中心,增强了SET协议交易流程的安全性;针对SET协议操作复杂,效率较低,安全性和适应性较差的缺点,提出了SET协议的分级安全控制机制;改进了信用评价模型.     

基于随机密钥预分布模型的安全定向扩散协议

为了解决无线传感器网络中定向扩散协议的安全问题,提出一种基于随机密钥预分布模型的安全定向扩散协议.通过建立安全梯度及应用累积报文鉴别码和多层加密,扩展了定向扩散协议的安全机制,使其能够提供点到点的安全数据通信.安全分析表明,基于随机密钥预分布模型的安全定向扩散协议能够保证定向扩散协议在兴趣扩散、数据传输、路由建立和路径加强阶段的安全性,有效抵御多种由泄密节点发起的攻击.     

一种安全高效的认证密钥协商协议

SAKA协议不具有密钥泄露安全性。为此,按照L．Law所定义的认证密钥协商协议的安全特性,提出一种基于椭圆曲线密码体制的安全高效认证密钥协商协议——SEAK协议。对本协议的安全性进行分析,证明了它在ECDH难解的前提下是安全的协议;因为SEAK协议平均只需2个整乘和2次信息交换次数,所以它是一个高效率的协议。     

一种安全有效的可分电子现金模型(英文)

当前电子现金系统的运行效率一直是倍受关注的问题.提出了一种新的安全有效的电子现金模型,避开了用零知识证明来验证其匿名性,并分析了它的运行效率.结果表明,该方案满足理想电子现金模型的性质.     

基于AODV的Ad Hoc网络安全高效双路由机制

提出了一种基于AODV的安全、高效双路由协议。在充分考虑网络资源和均衡流量的同时,采用双路由传输信息并利用密钥协商协议增强路由信息安全性和机密性。仿真结果表明,这种机制能够延长网络的生存时间,提高包传输率,具有较好的安全性。     

基于DSR的安全多径路由协议研究

Ad hoc网络的开放性、自组织、可移动等特点使其路由的安全问题日益突出,然而,目前大多数的路由协议并没有考虑该问题.文章给出了一种基于DSR的安全多径路由协议(SMDSR),该协议采用简单易实现的独立多径路由算法,并通过信任机制和公钥密码体制使其能有效地抑制伪装、篡改和路由重放等典型的安全攻击.模拟实验结果表明SMDSR路由协议的路由性能要优于DSR,并具有良好的安全性.     

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

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

恶意模型下公平的安全两方计算协议

安全多方计算通过参与者自行进行信息交互和计算完成,信息交换和计算对协议的公平性有很大影响。在恶意模型下基于m/2-out-of-m方法和知识承诺方案,提出一种两方公平交换协议,并用该协议构造一个满足公平性的安全两方计算协议。     

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

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

移动Agent安全传输协议模型研究

安全性是制约移动Agent系统应用的关键问题,通过对移动Agent的安全问题及其研究现状的分析,在总结各安全方案的基础上提出了移动Agent安全传输协议模型（MASTP,Mobile Agent Secure Transfer Protocol）,并给出了其在Aglets平台上的实现方法。