SET协议的安全机制研究与形式化分析

哈尔滨工程大学硕士学位论文SET协议的安全机制研究与形式化分析姓名：施勇申请学位级别：硕士专业：计算机应用技术指导教师：张国印20040201SET协议的安全机制研究与形式化分析作者：施勇学位授予单位：哈尔滨工程大学相似文献(10条)1.期刊论文郑建国.游林.曾福庚.ZHENGJian-guo.YOULin.ZENGFu-geng超椭圆曲线密码体制在SET协议中的应用研究-信息安全与通信保密2007,(8)文中介绍了SET协议的运作方式,对超椭圆曲线密码体制和RSA密码体制作了比较,提出了在SET协议中使用基于超椭圆曲线密码体制的的数字签名和数字信封方案,提升了SET协议的安全性和运算速度.2.学位论文郑建国基于（超）椭圆曲线密码体制的电子交易算法研究2008SET(SecureElectronicTransaction)协议是实现信用卡在网上安全交易的规范，是MasterCard和Visa两大国际公司于1996年提出的，并受到了Microsoft，Netscape，Verisign等很多公司的支持。通过电子签名，SET协议使得商家能够确认客户的身份，并且SET协议通过有效机制确保了持卡人的信用卡信息在向发卡机构传输、结账时不被商家知道。椭圆曲线密码体制(ECC)是V.Miller和N.Koblitz于1985年分别独立的提出的，经过二十多年的研究，ECC已广泛应用于许多商业领域。1989年Koblitz把椭圆曲线推广到更高亏格的超椭圆曲线。(超)椭圆曲线密码体制比其他密码体制在保持相同安全性的下使用更小的密钥，从而很好的满足了那些对密钥长度、宽带、效率要求比较高的系统，比如智能卡、SET协议等。在本论文中，作者主要做了以下几方面的工作：(1)对SET协议改进的一些建议；(2)提出了一种基础椭圆曲线密码体制的电子交易算法；(3)提出了基于超椭圆曲线密码体制的SET协议；(4)超椭圆曲线密码体制的Maple实现算法。3.期刊论文林霞.朱艳琴椭圆曲线密码体制在SET协议中的应用-微机发展2005,15(2)分析了电子商务中SET协议的运作方式,针对SET交易每个阶段要用加密和数字签名保证其安全进行的要求,设计了一套椭圆曲线密码体制在SET协议中的应用方案,其中包括ECC的密钥生成、数字签名和数字信封的实现算法.给出了一个SET交易的安全实现模型,它保证了交易的有效性、机密性、完整性和不可抵赖性.4.期刊论文张国印.施勇椭圆曲线密码体制在SET协议中的应用-微型机与应用2004,23(6)将RSA密码体制和椭圆曲线密码体制作了比较,提出了在SET协议中使用基于椭圆曲线密码体制的认证、数字签名和数字信封方案.5.期刊论文冯海军SET协议中密码体制的应用研究-科技信息（科学·教研）2008,(15)SET(安全电子交易协议)是为了在Internet上进行在线交易时,保证信用卡支付的安全而设计开发的一个开放的规范.介绍了基于SET协议的购物流程及其采用的密码技术.针对SET协议存在的不足,提出了基于椭圆曲线密码体制的SET协议.同其它非对称加密体制相比,椭圆曲线密码体制(ECC)除了安全性高外,还具有计算负载小,密钥尺寸短,占用带宽少等优点.对椭圆曲线密码体制在购买阶段中SET协议的双重数字签名和数字信封技术中的应用进行详细的分析.6.学位论文跟兄基于椭圆曲线密码支付系统研究和实现2007随着电子商务的发展，电子支付安全问题已成为人们日益关注的热点。常用的电子支付的协议有SSL协议和SET协议。基于SSL协议的电子支付系统成本低、应用简单透明、相对简单且快捷而占据优势地位。而基于SET协议的电子支付系统实现了多方认证，采用公钥加密、信息摘要、数字签名和双重签名等技术，确保了信息的保密性、完整性和不可否认性，使整个支付过程更安全。SET协议的制定者把椭圆曲线密码体制作为它的下一代缺省的公钥密码算法。如何让提高椭圆曲线密码体制的运行效率已成为研究热点。本文通过研究椭圆曲线密码体制，提出高效的快速点乘算法，并对基于椭圆曲线密码体制支付系统进行了深入研究。本文所作的主要工作如下：(1)研究了椭圆曲线密码的数学基础、分析了椭圆曲线密码体制的相关算法。以有限域算术和椭圆曲线算术为基础，分析椭圆曲线密码运行效率和椭圆曲线密码安全性。文中研究了椭圆曲线密码体制的椭圆曲线的选取、椭圆曲线数字签名、椭圆曲线密钥交换和椭圆曲线加解密的过程，并描述了相关的算法。(2)研究了影响椭圆曲线密码体制运行效率的关键因素点乘运算，并提出了两个快速的点乘算法。对椭圆曲线上点集合与点加运算构成的有限阿贝尔群运算层进行坐标系转换分别研究标准投影坐标系和雅克比投影坐标系中点乘运算算法并分析运行效率；在有限域上的算术运算层面上研究二进制算法和NAF算法提出固定基快速点乘算法和三位NAF点乘快速算法，并两个快速算法应用于ECDSA和ECDH当中，分析并证明：ECDSA和ECDH运行效率。最后对提出的算法进行验证和效率比较。(3)对支付系统进行系统需求分析、系统架构设计、数据库设计，然后把固定基快速点乘算法、三位NAF快速点乘算法应用到支付系统中，完成系统实现。7.期刊论文姚筱娜浅析椭圆密码曲线体制在SET协议中的实现-中国科技信息2008,(1)椭圆曲线密码体制(ECC)具有很有好发展前景,越来越多地应用到电子商务交易中,本文分析及实现了椭圆曲线密码体制在SET协议中的应用,并建立了SET协议的安全模型.8.学位论文农方奎电子商务SET协议效率与安全性的研究2009随着电子商务的迅速发展和广泛应用，电子支付的安全和效率问题已成为人们日益关注的焦点。常用的电子支付的协议有SSL协议和SET协议。SET协议由于采用了多种安全技术，比SSL协议更安全，从而在电子商务中占据主要地位。但是，SET协议中采用的RSA公钥密码体制在安全性和效率方面还存在着缺陷。相比之下，椭圆曲线密码体制是目前公认的最安全的公钥密码体制，并且在效率方面，还具有密钥短，运算速度快的优点，但如何进一步提高椭圆曲线密码体制的运行效率，仍然是对其研究的热点之一。安全并且快速的电子商务协议是电子商务发展的前提，本论文针对RSA在效率方面存在缺陷，进而对椭圆曲线密码体制进行研究，主要研究椭圆曲线的选取方案，椭圆曲线数字签名和验证，椭圆曲线密钥交换协议。在此基础上重点研究影响椭圆曲线密码体制运行效率的关键因素—点乘算法。在分析常用的、适应范围不同的二进制和NAF两种点乘算法的基础上，分别对其进行改进，提出对应的两种改进的二进制算法和改进的NAF算法，然后，将改进的算法应用到椭圆曲线数字签名和椭圆曲线密钥交换中，并融合于SET协议中。然后，将改进的算法与常用算法进行性能对比，将基于改进算法和基于常用算法的椭圆曲线数字签名(ECDSA)和椭圆曲线密钥交换(ECDH)协议进行对比分析。分析结果表明效率明显得到提高。本文在安全性方面，采用形式化模型检测方法，利用SMV检测工具对SET协议的安全性进行验证，结果表明SET协议能满足电子商务的安全要求。9.期刊论文时慧.张大陆基于椭圆曲线密码体制的SET协议-计算机工程2001,27(12)介绍了椭圆曲线密码体制(ECC)和SET协议的交易流程,提出了SET协议的基于椭圆曲线密码的实现方案.10.期刊论文曹阳椭圆曲线密码体制在SET协议中的研究与应用-计算机安全2007,(4)椭圆曲线密码体制(ECC)在电子商务中有着广泛的应用前景.该文分析了ECC体制在SET协议中的应用方案,其中包括ECC的密钥生成、数字签名和数字信封的实现算法.最后给出了一个SET交易的安全实现模型,它保证了交易的有效性、机密性、完整性和不可抵赖性.引证文献(4条)1.江艳霞.左明我国电子商务环境下CA的发展展望[期刊论文]-现代计算机（专业版）2007(9)2.江艳霞.巨珺SET协议分析及其改进[期刊论文]-计算机与数字工程2007(8)3.戴小波基于SET协议的安全电子商务研究[期刊论文]-微计算机信息2006(21)4.李小薪基于SET协议的电子商务安全系统的构建与研究[学位论文]硕士2005本文链接：授权使用：上海海事大学(wflshyxy)，授权号：4aec56ff-c2bd-4fbe-9043-9e0a005a8ad7下载时间：2010年10月9日