【摘 要】
：
移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用B
论文部分内容阅读
移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,指出了协议应满足的条件.并对协议的运行过程进行了形式化,给出具体的分析方法.采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性.
其他文献
公元1078年 熙宁十一年,安頔再游庆寿留题。 公元1068—1077年 熙宁年间题:“高平,范纯仁尧夫守庆被召还朝,率宾左游□唯杨国宝□□□周铸……。” 公元1079年 元丰二年三月
研究SA213T91钢热浸镀铝后并退火后样品在90%Ar＋10%H2O气氛中于600,650和700℃下的循环氧化行为。研究结果表明：T91钢热浸镀铝并退火后样品在表面形成Fe2Al5金属间化合物层,该
对企业的发展来说,技术与管理都是非常重要的前进力量,其中人力资源也是支撑企业不断前进的重要角色。在经济新常态下的发展背景下,人力资源的管理也要紧随时代的进步,在做好
随着建筑工程项目的增多、建筑行业的建设发展,人们越来越认识到建筑原材料节能环保、绿色清洁性能的重要性和必要性,为了实现建筑行业的健康、可持续发展,有关单位、专业检
为优化背越式跳高教学形式和方法 ,充分调动学生学习的积极性、培养学习兴趣 ,使学生能尽快地建立动作概念、动作程序和掌握技术 ,本研究采用想像训练与常规教学相结合的教学
当今世界以信息技术为代表的科学技术正在飞速发展,多学科交叉融合的趋势越来越明显,实验已悄然走进数学课堂教学之中,打破了“实验”被理化生学科垄断的历史.什么是数学实验
目的分析血液透析过程中患者内瘘针滑脱的原因,提出相关的预防措施。方法回顾性分析264例维持性血液透析过程中内瘘针滑脱的原因和预防措施。结果血液透析期间发生9例脱针事
阮籍生活在魏晋易代之际 ,其诗用韵有同于两汉的 ,也有同于南北朝的 ,体现出过渡时期的特点。同于两汉的有 :东钟、元寒桓删、山先仙、歌戈麻、阳唐、尤侯幽、庚耕清青 ;同于
本文根据组合预测比单项预测具有更高预测精度的原因，采用基于BP神经网络的非线性组合的预测新方法，构建财务危机预警模型，并进行实证研究。通过与Fisher判别分析模型和Logistic
<正> 我校有十六个班级,共837名学生,其中低年级八个班为二部制,有437名学生。这些学生分布在沿江一带的宝善街、张家圩、唐山路、九家圩、南通路、石梁柱等下关南段地区。学