资源描述：
《基于离线可信第三方的电子支付协议公平性分析》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第29卷第7期计算机应用Vo.l29No.72009年7月JournalofComputerApplicationsJuly2009文章编号:1001-9081(2009)07-1839-05基于离线可信第三方的电子支付协议公平性分析田树华,陈立佳,李建茹(唐山学院信息工程系,河北唐山063020)(chz2000@yahoo.cn)摘要:基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平
2、交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。关键词:电子支付协议;离线可信第三方;公平性;串空间中图分类号:TP309文献标志码:AFairnessanalysisofelectronicpaymentprotocolbasedonofflineTTPTIANShuhua,CHENLijia
3、,LIJianru(DepartmentofInformationEngineering,TangshanCollege,TangshanHebei063020,China)Abstract:TheelectronicpaymentprotocolbasedonofflineTTPismadeupofmultiplesubprotocols,andissignificantlydifferentfromtraditionalauthenticationprotoco,lespeciallyonprotocolgoalan
4、dpenetratormode.lThemainpurposeoftheelectronicpaymentprotocolistorealizefairexchangebetweenbuyersandsellerswhoareassumedtobedishonest.Then,itisnecessaryforthosebuyersandsellerstopreventtheinternalattack.Onthebasisofredefiningprotocolfairnessandpenetratormode,lanext
5、endedstrandspacemodelwhichtookanelectronicpaymentprotocolasobjectwasproposedtodemonstrateafairnessformalanalysismethod.Thesecuritydeficiencyandimprovementsuggestionsoftheelectronicpaymentprotocolwerealsodiscussed.Keywords:electronicpaymentprotoco;lofflineTTP;fairne
6、ss;strandspace为。基于此,本文扩展了串空间理论,以一种实际的电子支付0引言[3]协议EMH协议为实例,演示了基于串空间理论的电子随着电子商务的迅猛发展,与之相关的安全问题正日显支付协议公平性形式化模型和分析方法,并指出EMH协议突出。在电子商务协议中,保护交易双方免受内部攻击与保存在的安全缺陷,提出改进意见。护其不受外来攻击同样重要。因此,除了数据完整性和机密1相关研究性等传统安全问题外,交易中的公平性问题同样值得重视。一般来说,公平交换问题就是关于协议参与者交换有价值数1.1交换协议据的问题,其目
7、标是实现数据交换而又不会使一方比另一方20世纪80年代,交换协议主要用于在实体间进行秘密有获取更多信息的优势。而电子支付协议是一种特定的公平信息或数字合同签名交换,这一时期的交换协议都没有可信交换问题,其目的是在购买者和商家之间交换数字商品和付第三方(TrustedThirdParty,TTP)的参与。Pagnina等人[4]认款凭证,保护客户、商家彼此互不欺骗,公平完成商业交易。为如果没有可信第三方的参与,交换协议将不能取得公平性。[1-2][5]串空间模型是在1999年提出的安全协议分析模型,目前,大多数的交换协议都基于
8、可信第三方,主要分为四[5-6]它借助带有因果关系的有向图来描述协议的执行过程。协议种类型:InlineTTP、OnlineTTP、OfflineTTP和Transparent主体的行为序列构成串,而串空间则是所有串的集合;不同协TTP。在Inline模式,TTP作为交换中介,参与交换实体
