基于CSP方法的移动自组织网络认证协议TAM的分析与改进

来源 :通信学报 | 被引量 : 0次 | 上传用户：NickFlanders

【摘要】

：

针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题,提出了采用基于通信顺序进程(CSP,communicating sequential process)和模型检测的协议分析方法,对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范;然后利用模型检测工具FDR验证了TAM的CSP进程,结果表明

【作者】

：

刘礼才殷丽华郭云川孙燕

【机构】

：

北京邮电大学计算机学院,中国科学院信息工程研究所

【出处】

：

通信学报

【发表日期】

：

2013年S1期

【关键词】

：

移动自组织网络认证协议安全协议分析通信顺序进程 TAM MANETauthentication protocolssecurity protocol an

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

健康教育在冠心病护理中的应用效果分析

目的分析健康教育在冠心病护理中的应用效果。方法选取2015年2~8月我院收治的96例冠心病患者。所有患者在治疗的同时均接受针对性健康教育,观察本组健康教育应用效果。结果开

期刊

冠心病健康教育应用效果

经济非均衡增长与区域竞争力衡量

经济增长的一个显著特征表现为区域经济增长非均衡。在我国的经济增长进程中,处于领先的区域为“长三角”和“珠三角”经济区,追赶区域为“环渤海湾”地区,后开发区域为“东

期刊

经济区域非均衡增长工业竞争力

宁安市农民增收途径和对策研究

农民增收是“三农”问题的核心，是全面建设小康社会的重大任务。改革开放以来，农业得到快速发展，农村发生很大变化，农民收入逐步增加，然而自上世纪90年代起农民收入增长趋缓，城乡居

学位

农民增收途径对策宁安市

小企业固定资产管理问题分析及建议

固定资产管理是小企业科学管理的重要内容,对小企业的发展具有重要的意义。本文在探讨固定资产管理对小企业发展的重要性基础上,分析了当前小企业固定资产管理中存在的问题,

期刊

小企业固定资产管理

老年心脑血管疾病患者心理问题分析及护理措施

目的:就老年心脑血管疾病患者的心理问题及护理措施进行分析。方法:采取2013年5月份至2014年8月份期间本院收治的68例老年心脑血管疾病患者,对这68例患者的临床资料进行回顾

期刊

心脑血管疾病心理问题护理

提高高职毕业生就业质量推进高等职业教育——京津冀一体化下河北省高等职业教育发展研究

当前,我国高校大学生就业形势严峻,高等职业教育的办学水平和学生就业质量备受社会关注,高职院校坚持“以就业为导向”、强化学生技能训练,不断加强校企合作,探索嵌入式人才

期刊

毕业生就业高技能人才高等职业教育

西藏古代墓葬遗存演变初探

文章通过考古发现的实物资料与历史文献资料的分析,探讨了西藏古代墓葬遗存的起源、早期墓葬形式、发展及衰弱等过程。

期刊

西藏古代墓葬演变

基于群体早熟程度和非线性周期振荡策略的改进粒子群算法

提出了一种新的粒子群优化算法——基于群体早熟收敛程度和非线性周期振荡策略的自适应混沌粒子群优化算法。利用混沌的遍历特性初始化粒子的速度和位置,根据种群的早熟收敛程度和粒子的适应度值自适应地调整惯性权重;学习因子则采用非线性周期振荡策略,模拟鸟类觅食过程中交替出现的分散和重组现象。基准测试函数的仿真结果表明,所提出的算法不仅收敛速度快、寻优质量高,而且具有良好的稳定性。

期刊

粒子群算法早熟程度非线性周期振荡策略自适应混沌

自然保护区建设和管理存在的问题与对策建议——以大庆市为例

大庆市自1978年建立第一个自然保护区以来,在国家、省及相关部门的正确领导下,自然保护区建设工作取得了显著成效,已基本形成类型比较齐全、功能相对完备的自然保护区网络。

期刊

大庆市自然保护区研究

校外体育培训对小学生体育行为及兴趣的影响研究——以广州市第一一三中学陶育实验学校部分学生为例

校外体育培训是指体育培训专业人士对学生进行一段时间内的体育技能指导。本研究通过文献资料法、问卷调查法、数据分析法以及对部分学生及家长的简单访谈了解,对广州市第一

期刊

校外体育培训学生体育兴趣小学生影响研究

基于CSP方法的移动自组织网络认证协议TAM的分析与改进

与本文相关的学术论文