【摘 要】
:
Ad Hoc网络具有组网灵活方便、设施投资小等特点,使其具有较高的应用价值,然而动态拓扑、无线传输、能量受限等特点又给安全技术的实施带来很大困难,也为其形式化分析与设计
论文部分内容阅读
Ad Hoc网络具有组网灵活方便、设施投资小等特点,使其具有较高的应用价值,然而动态拓扑、无线传输、能量受限等特点又给安全技术的实施带来很大困难,也为其形式化分析与设计带来了新的挑战。概率模型检验技术作为形式化方法的一种,结合了概率分析和通用模型检测技术,能对具有随机行为的系统进行建模,规约概率性质并进行验证。 本文基于概率模型检验技术,采用概率模型检验工具PRISM对Ad hoc网络的安全路由协议和匿名通信技术进行研究,所取得的主要成果有: (1)针对Ad Hoc网络安全路由协议,提出了一种基于概率模型检验的分析方法。以协议ARAN为例,验证了有效性、认证性和完整性等安全性质,并从包到达率、平均路径长度和平均时延等方面分析了安全机制对网络性能的影响。 (2)研究了移动Ad Hoc网络的匿名技术,主要分析被动匿名攻击及MIX输出策略对通信模式的保护。提出了使用概率模型检验技术验证匿名性的方法并对几种典型输出策略进行了验证,结果表明,现有的MIX策略存在着不能提供完整的匿名保护、效率不高、适应性差的问题,不能满足移动Ad Hoc网络匿名通信需要。 (3)提出了全局同步和组同步的MIX输出策略。通过概率模型检验验证和分析,证实了这两种策略能够抵御被动匿名攻击,具有更好的匿名性,并可以提供低延迟、适应节点移动性的的匿名服务。
其他文献
新闻敏感是指新闻工作者对客观事物的新闻价值的判断能力,西方称为“新闻鼻”。它是新闻工作者对社会现象的观察能力,对事物发展变化的反应能力,对新闻线索的识别能力,以及对
随着网络的发展,网络不断地融入到人们的生活之中,网络与人的关系越来越密切。人们活跃于各种流行的社交网络之中,用户间形成的关系构成了一个大规模的用户关系网络;用户在社交
该课题就数字图像分析技术中的一个重要分支--边缘检测展开研究与实验.该文的绪论部分将对现有的边缘检测方法进行概述,分析各种算法的特点及其应用于精密检测中的不足之处.
通过时武警官兵心理健康状况及应对方式特点的调查分析,为部队开展心理卫生工作及心理干预服务.本研究采用SCL-90和简易应对方式量表对236名福州某武警官兵进行问卷调查.结果
近年来,WWW应用得到了飞速发展,人们对个性化、高质量信息信息定制服务的需求 日益增加.同时,信息定制服务需要更强大的WWW服务器来为成千上万的用户提供个 性化的服务,WWW服
人们针对标准的JAVA语言,从程序切片技术的角度入手,讨论了程序切片的定义,分类和生成算法,然后根据人们的实际需要引入了粗颗粒程序切片的概念,并介绍了人们基于此概念开发
儿童自我概念与个体的学业成就、心理健康有着密切的关系.本文描述了儿童自我概念的大致发展过程和特点,分析了影响儿童自我概念形成的主要因素--社会关系和儿童的行为模式.
延迟满足是儿童心理成熟的表现,对儿童以后的人际关系、学业成就、认知和社会性能力的发展都有非常重要的作用.延迟满足自上世纪70年代以来就受到了心理学家们的广泛关注,它
JBRET系统是在研究人员最初进行了一些研究工作的基础上开发的针对面向对象语言 的逆向工程工具.JBRET系统采用EER(Enhanced Entity Relationship)模型为被分析的源程序建立
组密钥管理是解决多播技术中的数据加密时常用的一种策略,该文将提出一种新的组密钥管理方案,比常见的Key Graph等组密钥方案具有更好的性能.该文以数字电视有条件接收系统为