几类安全协议的设计与分析

被引量 : 0次 | 上传用户:stephenz2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全协议的研究历经二十余年,已经发展为信息安全领域的主流研究方向。同时,移动通信和计算机网络技术渗入到我们生活中的方方面面,各种应用不胜枚举,相关的安全问题也越来越受到人们的关注。本文针对GSM和移动电子商务中的安全支付以及内网数据安全三个领域中存在的实际问题,从安全协议的角度给出解决方案。 首先,详细分析了GSM存在的安全缺陷。总结和借鉴GSM认证协议已有的改进方案,利用AES算法构建了新的认证方案,并采用SVO逻辑,对新方案进行了分析。新方案具有很好的安全性,解决了原有协议存在的安全问题,较已有的改进方案有更高的实现效率,同时具有前向安全性和防跟踪性。 其次,详细介绍和分析了几种典型的微支付机制,借鉴其中的优秀思想,结合移动电子商务的特点提出一套适用于移动电子商务平台的安全支付机制。应用SVO逻辑和Kailar逻辑的改进模型对新方案的非否认性、可追究性与公平性进行了形式化分析,在实现效率上与五种典型的微支付方案进行了量化比较。新方案在用户端的存储量和计算量方面具有较大优势,解决了微支付中的税收问题,具有较好的匿名性,可以有效防止用户和商家的欺诈,实现了用户与任何商家的无差别交易,使小额支付和微支付更加高效、灵活。 最后,本文针对中小企业内网数据安全的需要,给出了一个使用普通USB盘实现的双因素身份认证方案。该方案简单、高效、实施成本低,安全性较传统的口令认证方式有极大的提高,实现了单一登录,不需要系统时钟同步。在此基础上,提出了中小企业内网数据安全系统建设的基本构想。
其他文献
马铃薯属茄科茄属的一年生草本植物,是一种世界性的作物,已是全球第四大重要的粮食作物,仅次于小麦、稻米和玉米,营养丰富,可粮、菜、饲兼用。马铃薯产业对世界大多数国家的
文章考察了各省市粮食单产的波动特征,结果表明,全国平均波动水平并不能反映各地区粮食单产波动的真实状况;粮食主产区的波动系数和波动幅度要比其它地区高;西部地区现阶段尚
微波滤波器是现代微波中继通信、微波卫星通信、电子对抗等系统必不可少的组成部分,同时也是最为最要、技术含量最高的微波无源器件,其性能的优劣往往直接影响到整个通信系统
“班级”作是我国当前授课制的基本组织单位,是教育的基本单位,是文化传承的基本阵地,所以应该重视班级文化建设。对“班级文化”的研究,国外主要是从“课堂文化”的角度出发
随着物联网技术的快速发展和概念的迅速普及,在生活中能够很轻易地发现物联网相关的产品的身影。而作为学习中不可或缺的场所——图书馆,也在和科技接轨,传统图书馆的管理模
信息论领域近期的研究表明,在无线通信中使用MIMO技术可以显著的提高通信的容量,并改善无线通信系统的性能,非常适合下一代移动通信系统中高速率业务的要求。在以往的多天线
城市房屋抵押贷款早已推行,但农村房屋抵押贷款仍在艰难破冰,其中重要的原因在于现行法律的约束。农民将房屋进行抵押贷款,必然会涉及宅基地使用权的问题,根据我国相关法律规
本调查研究是为了了解2005学年全泰国的113所小学华校汉语教学现状,内容包含华校基本情况、汉语教学情况、汉语教师情况与华校汉语教学所面对的问题。本次调查方式为问卷调查
通过调查栽培密度一致而发病率不同的9块大豆田的病株分布,引用昆虫生态学中常用的几种分布型测定方法进行分析,初步研究了发病末期大豆花叶病田间分布型。结果表明,病株田间
对于倾斜叠层和非垂直裂隙岩层,用具有任意空间取向对称轴的TI(ATI)模型来描述更符合实际观测.本文基于坐标变换的方法,研究任意强弱ATI介质中体波速度的角散和方位变化特征.研究结