几类安全协议的设计与分析-计算机系统结构专业论文.docxVIP

摘要安全协议的研究历经二十余年，已经发展为信息安全领域的主流研究方向。同时，移 摘要 安全协议的研究历经二十余年，已经发展为信息安全领域的主流研究方向。同时，移 动通信和计算机网络技术渗入到我们生活中的方方面面，各种应用不胜枚举，相关的安全 问题也越来越受到人们的关注。本文针对GSM和移动电子商务中的安全支付以及内网数 据安全三个领域中存在的实际问题，从安全协议的角度给出解决方案。 首先，详细分析了GSM存在的安全缺陷。总结和借鉴GSM认证协议已有的改进方案， 利用AES算法构建了新的认证方案，并采用SVO逻辑，对新方案进行了分析。新方案具 有很好的安全性，解决了原有协议存在的安全问题，较已有的改进方案有更高的实现效率， 同时具有前向安全性和防跟踪性。 其次，详细介绍和分析了几种典型的微支付机制，借鉴其中的优秀思想，结合移动电 子商务的特点提出一套适用于移动电子商务平台的安全支付机制。应用SVO逻辑和Kailar 逻辑的改进模型对新方案的非否认性、可追究性与公平性进行了形式化分析，在实现效率 上与五种典型的微支付方案进行了量化比较。新方案在用户端的存储量和计算量方面具有 较大优势，解决了微支付中的税收问题，具有较好的匿名性，可以有效防止用户和商家的 欺诈，实现了用户与任何商家的无差别交易，使小额支付和微支付更加高效、灵活。 最后，本文针对中小企业内网数据安全的需要，给出了一个使用普通USB盘实现的双 因素身份认证方案。该方案简单、高效、实施成本低，安全性较传统的口令认证方式有极 大的提高，实现了单一登录，不需要系统时钟同步。在此基础上，提出了中小企业内网数 据安全系统建设的基本构想。 关键词：安全协议；GSM；移动电子商务；内网安全；AES算法；一次性签名；双因素认证； 单一登录 第1页 ABSTRACTThe ABSTRACT The research of Security Protocol has been going on about 20 years；furthermore。 it has been developed to the main branch ofinformation security field．In addition，the technology of Mobile Communication and Computer Intemet break into people’S daily life SO that more and more people focus on the security problem．TlIis paper analyzes the GSM·the safe payment of Mobile Electronic Commerce， and the Intranet Data Security， and also refers to solve the problem ofthem basing on Security Protoc01． Firstly，this paper analyzes the security problem in GSM．According to the current GSM method and the proposed schemes，a new Identity Authentication Protocol is built by AES arithmetic and is analyzed by SVO logic．The new method makes up the wake points in the primary Protoc01．The new one is provided witll more advantages such as security．It is more efficient to implement，and it is able to keeps safe from track． Secondly， several typical Mechanisms of Micro·payment are mentioned；moreover，it also gets some characteristiCS from Mobile Electronic Commerce to make a Mechanism in order to apply the mechanism of safe payments．The Mechanism is analyzed formally by the SVO logic and the developed model ofKailar logic，which are t