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

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

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

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

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

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

SSL协议与SET协议分析

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

一种原子有效的e-cash交易协议

原子性对于可靠、安全的电子商务交易是必不可少的,是参与交易各方利益的重要保证．基于Mu等设计的高效e—cash方案,提出一种原子、有效e—cash交易协议．该协议将数字商品传输有机地整合到支付过程中,在去除强假设条件下(通信信道可靠和交易双方诚实),协议不仅满足原子性、有效性,而且还为交易纠纷的解决提供非否认证据．     

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

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

基于SSL协议的电子支付系统的研究与设计

电子支付系统是电子商务中最重要的环节之一,主要用来解决电子商务中的各交易实体(用户、商家、银行等)间资金流和信息流在Internet上即时传递及其安全性问题.本文从电子支付的安全要求出发,提出了基于SSL协议的电子支付系统的方案设计模型,设计了系统流程,并对安全性进行了分析.     

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

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

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

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

一种自可信的匿名公平电子支付协议

针对电子商务中客户、商家和第三方的信任问题,在Brands离线电子货币方案基础上,利用同时生效签名生效的同时性,设计了一种简单、高效的自可信匿名公平电子支付协议.协议无可信第三方,但也可保证交易双方公平交换,并能及时地让交易双方各得所需.分析和实验表明,协议在满足自可信性同时,还满足安全性、客户匿名性、可追究性、公平性...     

基于半脆弱水印的离线电子支付方案的研究与实现

结合半脆弱水印、信息隐藏和椭圆曲线密码体制,提出了一种比较完善的安全加密协议.该协议通过直接修改MP3Stego软件包实现信息隐藏,将通信双方的重要数据隐藏于表面上毫无相干的普通多媒体文件中;采用椭圆曲线密码体制使其具有更高的加密强度;嵌入的数字水印不仅对篡改具有高度的敏感性还能抵抗JPEG压缩.基于该协议构造了一种安全的离线电子支付方案,它使合法用户做到了完全的匿名,又能防止重复消费,可以较好地模拟传统现金的直接交易功能,是对现有电子支付模式的有效扩展和补充.     

电子商务安全协议分析

对两种常见网络协议的结构进行了分析与比较,通过实际网络环境操作,验证了SSL协议的安全性。     

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

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

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

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

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

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

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

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

电力缴费新选择——有线电视缴费平台的设计与实现

随着城网改造的完成和一户一表的实施,用电客户数量迅速增长,为了使不同类型的客户更加方便快捷地缴费,山西省电力公司开发了有线电视缴费方式,极大地方便了用户。详细介绍了有线电视缴费平台的设计与实现,包括有线电视缴费平台的功能、家庭有线电视缴费平台的总体架构及技术路线。     

OpenSSL在安全电子商务系统中的应用

OpenSSL是一个功能强大的安全通信开放源码库,具备优秀的跨平台性能.SET协议在电子商务安全电子支付服务中可以详细而准确地反映交易各方之间的各种关系,用来保证在Internet上实现银行卡支付交易的安全性.基于OpenSSL在Windows环境下搭建了一个安全电子商务系统所必须的CA认证中心,并将其应用到SET协议中,实现了SET协议中CA认证中心的功能.     

电力集团客户缴费案例研究

为方便集团客户缴费和账务处理,某电力公司客户服务中心在公司营销部的直接指导下,拓展了集团客户缴费业务,并率先在中国电信和中国移动两大集团客户中试点运作。这一业务的成功开展,极大地方便了集团客户的缴费和账务处理,也方便了电力公司出账,同时有效降低了电力公司的出账成本。