甘肃省自然科学基金(1014RJZA005)
- 作品数：4 被引量：14H指数：2
- 相关作者：袁占亭郭显冯涛朱红蕾刘密霞更多>>
- 相关机构：兰州理工大学西安电子科技大学甘肃联合大学更多>>
- 发文基金：甘肃省自然科学基金博士科研启动基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 编码感知多跳无线网络安全路由协议被引量：5
- 2012年
- 分析了网络编码系统DCAR"编码+路由"发现过程存在的安全问题,提出了适用于编码感知安全路由协议的安全目标,设计了基于DCAR的编码感知安全路由协议DCASR,DCASR协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性,引入线程位置和线程位置相邻概念扩展安全系统逻辑LS2,提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系,用广播规则模型化多跳无线网络广播通信特征。最后,用LS2-RP协议编程语言描述了DCASR协议,用LS2-RP的谓词公式和模态公式描述DCASR协议的安全属性,用LS2-RP逻辑证明系统分析了DCASR协议的安全性,证明DCASR协议能够满足安全目标。
- 郭显冯涛袁占亭
- 关键词：多跳无线网络安全路由协议形式化方法
- 协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法被引量：2
- 2013年
- 扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹概念,在运行迹上定义了谓词公式和模态公式的语义.分析协议安全属性时,PCL-RP模型证明系统中的公理和规则保证无需明确推理攻击者的行为,这种方法能够简化分析过程,提高安全分析的可信度.另外,提出了路由协议安全目标,设计了基于动态源路由协议DSR的安全路由协议LSDSR.最后,在PCL-RP模型中描述并分析了LSDSR的安全性,证明LSDSR能够满足安全目标.
- 郭显冯涛袁占亭
- 关键词：移动ADHOC网络安全路由协议动态源路由协议
- 用逻辑方法验证移动Ad Hoc网络协议被引量：1
- 2011年
- 针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义,分析网络协议属性.ELS2证明系统中,设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性.
- 郭显冯涛袁占亭马建峰
- 关键词：ADHOC网络形式逻辑
- 网络弹性研究进展被引量：7
- 2013年
- 网络弹性(Network Resilience)必将作为下一代异构网络必要的设计与操作属性,被定义为在面临不同的失效或挑战时,能够提供和保持可接受服务水平的能力。从系统的角度对网络弹性进行了深入的研究,首先对网络弹性从定义、模型、实现与评估等方面进行深入的分析,接着讨论基于态势感知的网络弹性研究模型,并详细阐述了模型的每一层功能及实现方法,最后给出了网络弹性研究的发展方向。
- 刘密霞朱红蕾
- 关键词：态势感知
