甘肃省高等学校基本科研业务费项目(0914ZTB186)
- 作品数：1 被引量：1H指数：1
- 相关作者：袁占亭马建峰郭显冯涛更多>>
- 相关机构：西安电子科技大学兰州理工大学甘肃联合大学更多>>
- 发文基金：甘肃省高等学校基本科研业务费项目博士科研启动基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 用逻辑方法验证移动Ad Hoc网络协议被引量：1
- 2011年
- 针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义,分析网络协议属性.ELS2证明系统中,设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性.
- 郭显冯涛袁占亭马建峰
- 关键词：ADHOC网络形式逻辑
