基于XML的电子商务安全协议研究-通信与信息系统专业论文.docxVIP

摘要摘 摘要 摘 要 本文主要对基于XML的电子商务安全协议进行了研究。首先介缁了XMI， 的基础知识和相关的技术标准，然后引入了电子商务、支付系统及安全保密技术。 接着在简要介绍两种基于信用卡的安全电子支付协议～一sET协议和3一D Secure 协议的基础上，提出了一种3．D Secure协议的安全性加强方案。最后设计了一种 方便、安全、信用度高、风险小且极具应用价值的数字本票支付协议。 本文得到的主要成果如下： 1． 对SET协议和3一D Secure协议进行了全面的探讨、比较与分析，得到 3一D Secure协议的不可否认性较弱的结论。 2． 提出了一种3-D Secure协议的安全性加强方案，用SVO逻辑对方案进 行形式化分析，结果表明该方案可以达到认证目标。 3． 提出了一种数字本票支付协议，用SVO逻辑对协议进行形式化分析的 结果表明该协议可以达到安全目标，并设计了一个基于XML和JSP的 实现方案。 关键词：XML 电子商务 支付协议 SVO逻辑 ABSTRACTABSTRACT ABSTRACT ABSTRACT E—C01TIITICrCe security protocols based on XML are discussed in the paper Basic l“mwledge of XML and relevant technical standards are presented，then introduced E-Commerce，payment system and cryptology SET protocol and 3-D Secure protocol are two kinds of secure electronic payment protocol based on credit card A new scheme of 3-D Secure protocol was proposed based on the comparison of them．Finally a new digital cashier’S order payment protocol is presented．This protocol is much more efficient than SET protoc01． The main contents are： 1 SET protocol and 3-D Secure protocol are discussed，compared and analyzed， and the results obtained demonstrate that 3-D Secure protocol is weaker than SET protocol in security． 2．’1o strengthen security，a new scheme of 3-D Secure protocol was given and analyzed using SVO logic．The results indicate that the new scheme Can reach authentication targets． 3．A new digital cashier’S order payment protocol is proposed．By this protocol，a consumer Can do payment to a specified merchant anonymouslN The digital cashier’S order Can only be used once and the transaction Can’t be denied．The protocol is analyzed using SVO logic，and the results obtained demonstrate that this protocol carl reach security goals．Finally,a simulation scheme based on XML and JSP iS presented． Keywords：XML E-Commerce Payment Protocol SVO Logic 声明 声明 Y 695433 创新性声明 本人声明所呈交的论文是我个人在导师指导下进行的研究j：作及取得的研究 成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不 包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或 其它教育机构的学位或证书而使用过的材料。与我一同工作的