【摘 要】
：
随着移动用户数量的迅速增多和移动技术不断进步,移动商务得到了空前发展并呈现出前所未有的发展机遇。但从当前移动商务系统平台的角度看,无线网络的带宽、移动终端的计算能
论文部分内容阅读
随着移动用户数量的迅速增多和移动技术不断进步,移动商务得到了空前发展并呈现出前所未有的发展机遇。但从当前移动商务系统平台的角度看,无线网络的带宽、移动终端的计算能力和移动支付系统的安全性是亟待解决的主要问题。本文以提高和改善移动商务的交易效率和交易安全为主要研究方向。
本文通过对认证协议国内外研究现状,发现现有的一些认证协议存在一些安全隐患,并且由于无线网络环境的特殊性,而无法满足无线商务的需求。本文提出了一种新的密钥协商协议,该协议不仅可以保证无线商务交易的机密性和认证性,而且降低协议执行时所需的计算量和通信量,适用于移动支付环境。并根据非形式化分析的结果,应用模型检测工具SPIN对该协议的认证性进行了验证,没有发现攻击序列,说明了这个协议的正确性。
本文利用基于有限状态机的建模方法,对KSL协议进行模型建设,该方法主要特点是将无线网络环境的因素加入到了所建模型中,再应用模型检测工具SPIN对KSL协议进行模型检测分析,检测出协议存在可追究性和公平性的缺陷,从而给出了协议的一种改进。
其他文献
我国的发展离不开任何一门行业的支持,电力行业就是其中的一门重要行业.如今我国几乎任何一个行业的都对电力有一定的需求,而电力调度在电力系统的运作中有着非常重要的影响,
我国煤炭供需自1997年以来发生了根本性变化。这种变化建国以来共发生过三次。1986年的第一次煤炭供大于求持续了一年多;第二次为1991年,时间也是一年;这一次从1997年一季度
本文首先分析了城市配电网规划设计与建设改造的现状,指出当前城市配电网存在布局、用电负荷以及配电网管理三个方面的不足,并在此基础上,探讨了城市配电网络规划设计与建设
此文简单介绍了变电站智能巡检的需求,详细分析了智能巡检机器人软硬件系统设计,并研究了智能巡检机器人在变电站的应用.
结合《公共关系》课程特点,根据ADDLE模型,以蓝墨云班课平台为信息化教学辅助工具,从课程分析、课程设计、课程开发、课程实施和课程评价五个维度开展基于云班课的混合式教学
自动聚焦是图像获取领域的一项关键技术，在数字成像系统、计算机视觉和显微镜仪器等领域都有着广泛的应用。但体积小，功耗低的嵌入式红外光源自动聚焦显微镜在国内载人航天领域
新中国成立不久,国家建设的全面开展,团中央提出“向荒山、荒地、荒滩进军”的口号,从而掀起了一场大规模的青年志愿垦荒运动.1950年有志青年向南山进军,开始对南山牧场进行
由于谈判对手之间代表的立场不同,所要求的利益不同,在争取自身利益最大化的过程中,难免会使用一些策略与技巧,奥步这种不好的招数往往也会出现。但只要我们掌握了足够的信息
天津卫视就是要帮助大众体验快乐生活的美好,让人们在不同的环境中,都能发现快乐,都能创造快乐,使看天津卫视的人们的心情都能处在一种轻松的状态。
Tianjin Satellite TV i
人事档案是记录干部信息的主要媒介,是组织进行人员调动安排的重要参照,为人才资源的合理安排和利用提供了可靠依据.随着时代的进步,我国的政治经济和干部人事管理制度都在不