电子结算的安全研究及实现

【作者】 崔兴宇；

【导师】 张岳新；

【作者基本信息】 南京理工大学 ， 计算机软件和理论， 2008， 硕士

【摘要】 电子商务是当前研究的热点,电子商务安全协议是其中的重点,SET协议是电子商务协议中一个很有代表性的协议。本文主要研究SET协议的内容、交易流程以及安全机制,针对SET协议存在的一些不足,提出了一种对椭圆曲线签名算法(ECDSA)的改进算法代替RSA签名算法,并设计实现了该算法。论文分析了该算法在SET协议中的应用,提出了椭圆曲线算法在SET协议中的模型。该算法提高了SET协议的性能、速度和安全性。本文最后介绍了形式化分析法的三种逻辑:BAN逻辑,Kailar逻辑和卿-周逻辑,提出了一种改进的Kailar逻辑,并用该逻辑对SET协议进行了形式化分析和验证。更多还原

【Abstract】 Nowerdays,electronic commerce is the heat point of the research.Electroniccommerce protocol is important of electronic commerce.Secure Electronic Trans-action Protocol (SET) is representative of electronic commerce protocol.In this paper,content, transaction process and safety of SET are the content of the research.some deficiencies of SET is supported. A new algorithm to improve Elliptic Curve Digital Signature Algorithm (ECDSA) is supported.It is designed and implemented. Using it to replaces RSA to improve SET.The Application of this algorithm is analysed. A new model based on Elliptic Curve Cryptosystem(ECC) is supported and the model improves the safety, capability and speed of SET.At last of this paper ,three kinds of logic languages in formal logic language are introduced.They are BAN Logic,Kailar Logic and Qing-Zhou Logic.SET is also analyzed and vertifed compelety.更多还原