文档介绍：摘要随着网络通信技术的发展,电子商务已经渗透到人们的日常生活中。电子商务协议的安全性是决定电子商务发展的关键因素之一,也是制约电子商务发展的瓶颈。目前分析电子商务协议安全性的方法主要有呒⒛P图觳夂凸槟煞椒ǖ取K淙簧鲜龇法都能够较好地分析协议的某些安全属性,但都具有一定的局限性。串空间理论是一种新的分析协议安全性的形式化方法,它充分吸收了前人的研究成果。但是串空间模型最初提出来只限于对认证协议的分析,很少涉及电子商务协议。电子商务协议比认证协议更为复杂,它不仅要满足认证协议的安全需求,还要考虑认证协议中未涉及的若干安全属性,因此有必要找到一种严谨有效的方法来分析电子商务协议的安全性。本文利用串空间理论分析了电子商务协议的安全性,提出了利用串空间模型形式化地描述和验证电子商务协议安全性的思路,设计了一个新的电子支付协议,并验证了该协议的安全性。主要工作包括:谏钊胙芯看占淅砺鄣幕∩希岢隽死么占淠P脱橹さ缱由涛裥榘全性的一般性方法,并以著名的电子商务协议—,槲@ü云浣⒋占淠型并引用所提方法对其安全性进行分析,发现该协议的提供服务和传递发票阶段均不满足公平性,得出了与国内外学者用其他形式化方法分析相同的结论,从而验证了串空间模型的有效性和正确性。在此基础上对榻辛烁慕么占淅砺壑っ髁烁进后的协议满足安全性。杓屏艘桓龌谕鄙┟牡缱又Ц缎椋眯椴捎猛鄙┟乃法,有利于实现交易的公平性:在交易过程中没有第三方的参与,提高了协议的执行效率,且可用于移动支付。通过对该协议建立串空间模型并进行形式化的分析,可验证其满足秘密性、认证性、公平性、不可否认性及可追究性,因此协议是安全的。贘教ǎ檬只D馄鳎7⒊錾鲜鲋Ц缎榈囊贫突Ф恕T诎全性方面,引用轻量级加密包,用于客户端移动手持设备对交易信息进行加密运算,保证了端对端的安全性,具有一定的现实意义。关键词:电子商务协议;形式化分析;串空间模型;移动支付协议;基于串空间理论的电子商务协议安全性研究
知识水坝为您整理
,甤瑆大连理工大学硕士学位论文甀疭..瓾,甤,,甀琣,猺.’甌瑃琺,瓻—,.:—。痶瑆..甌一—
知识水坝为您整理
;篍—基于串空间理论的电子商务协议安全性研究籑;琣,.猼猠.
丛垂叠窒姹だ堇加阃⑺埽盒├荻轶碹金盘纽大连理工大学学位论文独创性声明婴墅年一』三月—望日作者郑重声明:所呈交的学位论文,是本人在导师的指导下进行研究工作所取得的成果。尽我所知,除文中已经注明引用内容和致谢的地方外,本论文不包含其他个人或集体已经发表的研究成果,也不包含其他已申请学位或其他用途使用过的成果。与我一同工作的同志对本研究所做的贡献均已在论文中做了明确的说明并表示了谢意。若有不实之处,本人愿意承担相关法律责任。学位论文题目:作者签名:日期:
魁聋壁街帘だ鱼鱼垒塑坠坠鱼堡金盘纽茳两型壁年—生月勰阩大连理工大学学位论文版权使用授权书本人完全了解学校有关学位论文知识产权的规定,在校攻读学位期间论文工作的知识产权属于大连理工大学,允许论文被查阅和借阅。学校有权保留论文并向国家有关部门或机构送交论文的复印件和电子版,可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印、或扫描等复制手段保存和汇编本学位论文。学位论文题目:导师签名:作者签名:日期:日期:人连理丁大学硕士研究生学位论文
绪论研究背景随着信息技术的迅猛发展,电子商务以其方便快捷的特点已经被越来越多的人所接受。电子商务指人们通过计算机及计算机专用网络进行商务活动,例如电子资金转账、远程购物、电子合同等等。与传统的商业模式相比,电子商务的优越性是显而易见的。电子商务具有开放性、全球性、低成本、高效率的特点,因此必将影响人们的日常生活和工作方式以及企业的经营管理方式。据不完全统计,年我国电子商务交易总额达蛞谠#壬夏甓仍龀ァ由于网上交易的迅速发展,年碌祝üü缱咏灰淄瓿桑缱由涛窠成为主流商业经济模式。进入世纪以来,电子商务从有线向无线领域发展,移动电子商务逐渐兴起,并具有极其广阔的应用前景。移动电子商务是指用户利用手机、纫贫斩送ü尴网络所进行的电子交易行为,例如手机购物、手机银行、订票服务、股票证券交易等。由于移动设备所固有的方便性与灵活性,移动用户可以在任何时间、任何地点来进行商务活动。移动电子商务也给移动运营商、移动应用开发商、移动设备制造商等一系列相关企业带来了丰厚的利润,必将是未来电子商务的发展趋势。移动电子商务在发达国家的发展很迅速。例如,在欧洲和日本,用户开始对手机订票感兴趣,多数手机订票应用于火车或公共汽车票,电影票以及汽车泊车票据等。英国最近的一项有关手机订票业务未来发展前景的调查认为,年该服务占据了移动商务市场的大部分,年市场规模将扩大到诿涝#寄暌贫涛袷谐亿总体营业额