【摘 要】
：
由于移动设备和无线网络的特点,使无线认证协议的执行环境更为复杂,从而使其更容易存在安全缺陷,同时也为其形式化分析带来了新的挑战。本文研究的主要内容是采用模型检测技
论文部分内容阅读
由于移动设备和无线网络的特点,使无线认证协议的执行环境更为复杂,从而使其更容易存在安全缺陷,同时也为其形式化分析带来了新的挑战。本文研究的主要内容是采用模型检测技术SPIN对无线认证协议的认证性和保密性进行分析。文章首先介绍了密码协议的概念,无线网络的执行环境,无线认证协议的形式化分析,接着建立了无线认证协议的系统模型,阐述了模型检测技术的原理,详细研究了模型检测工具SPIN和使用的Promela语言,以及SPIN对无线认证协议分析的原理,构造了系统验证模型;本文实现了模型检测技术SPIN对无线认证协议Aziz-Diffie协议的建模和检测,并对验证结果进行了分析,完成了对协议存在的缺陷的一种改进。
其他文献
制造网格是一种虚拟制造组织，建立在网格技术基础之上，是网格技术在制造业中的应用，它通过网络将分散在不同地点的各种资源集成，进行协同制造，是一种新的制造模式。制造网格门户是
随着因特网技术的迅速发展,SIP技术和P2P技术都得到了广泛应用,针对SIP与P2P的技术优势,如何使这两种技术能够有效地互补结合是当前研究的一个热点。P2P-SIP系统能够利用P2P
随着CNGI项目的推广，越来越多的IPv6网络已经部署并相继投入使用，在IPv6网络上展开的研究与应用也越来越多。高校作为科研创新的先锋，在IPv6方面的相关研究一直走在前列。在这些
随着Internet规模的迅速扩展,网络应用得到飞速发展与壮大,给人们带来了巨大方便。但是,伴随着网络正常应用流量的大幅增长,各种异常流量也随之而来,给网络监测带来了巨大挑
普适计算致力于将计算融入人们的日常生活中，将由计算和通信节点及系统组成的计算空间与人们生活的物理空间无缝的集成为和谐的人机交互信息环境。上下文感知技术是普适计算中
随着internet的发展和新技术的不断出现，各种网络应用的数据流迅猛增长，传统路由器的“尽力”服务方式已经不能满足要求，这要求网络设备提供更高的带宽和数据分类能力。这一切都
目前，复杂网络理论已经渗透到多个学科领域，并在计算机网络控制、交通控制、社会网络分析、生物网络等领域取得了一系列成果。正是由于复杂网络理论应用广泛，来自数理学科、生命
随着互联网的广泛应用,用户所能接触的信息呈爆发式增长,通过大数据分析用户行为模式、预测趋势的研究开始流行起来。而此时,推荐系统的出现,通过主动给用户推荐其可能感兴趣
组播是一种将数据源发出的信息同时发送到多个接收者的有效通信方式，传统IP组播的主要功能在路由器上实现，通过合并重复信息传输来减少带宽浪费和降低服务器的负担。由于IP组播
卫星网络作为一种重要的通信手段，以其特有的全球覆盖能力、不受地面自然灾害的影响以及良好的移动性等特点被应用于数据传输业务和实时多媒体业务的各个方面。LEO卫星由于延