| 用逻辑方法验证移动Ad Hoc网络协议 |
| |
| 引用本文： | 郭显,冯涛,袁占亭,马建峰.用逻辑方法验证移动Ad Hoc网络协议[J].东南大学学报(自然科学版),2011,41(2):258-265. |
| |
| 作者姓名： | 郭显 冯涛 袁占亭 马建峰 |
| |
| 作者单位： | 郭显,Guo Xian(兰州理工大学电气工程与信息工程学院,兰州,730050;兰州理工大学计算机与通信学院,兰州,730050;甘肃联合大学电子信息工程学院,兰州,730010);冯涛,Feng Tao(兰州理工大学计算机与通信学院,兰州,730050;西安电子科技大学计算机网络与信息安全教育部重点实验室,西安,710071);袁占亭,Yuan Zhanting(兰州理工大学电气工程与信息工程学院,兰州,730050;兰州理工大学计算机与通信学院,兰州,730050);马建峰,Ma Jianfeng(西安电子科技大学计算机网络与信息安全教育部重点实验室,西安,710071) |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)资助项目，国家自然科学基金资助项目，甘肃省高等学校基本科研业务费资助项目，兰州理工大学博士基金资助项目，网络安全与密码技术福建省高校重点实验室开放课题资助项目，甘肃省自然科学基金资助项目 |
| |
| 摘 要： | 针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...
|
| 关 键 词： | Ad Hoc网络 形式逻辑 网络迹 移动IP注册协议 |
Formal modeling and analysis in a logic for mobile Ad Hoc networks |
| |
| Guo Xian, Feng Tao, Yuan Zhanting, Ma Jianfeng.Formal modeling and analysis in a logic for mobile Ad Hoc networks[J].Journal of Southeast University(Natural Science Edition),2011,41(2):258-265. |
| |
| Authors: | Guo Xian Feng Tao Yuan Zhanting Ma Jianfeng |
| |
| Affiliation: | Guo Xian1,2,4 Feng Tao2,3 Yuan Zhanting1,2 Ma Jianfeng3 (1 School of Electrical and Information Engineering,Lanzhou University of Technology,Lanzhou 730050,China)(2School of Computer and Communication,China)(3 Key Laboratory of Computer Networks and Information Security of Ministry of Education,Xidian University,Xian 710071,China)(4 School of Electronic Information Engineering,Gansu Lianhe University,Lanzhou 730010,China) |
| |
| Abstract: | Aiming at the features of mobility and wireless broadcast communication of node,in order to model and analyze secure systems for mobile Ad Hoc networks,two constructors,i.e.mobility and broadcast,are introduced in LS2(logic of secure systems).So LS2 is extended to be ELS2.In ELS2,the network is modeled as the combination of threads with different physical locations.A thread is a sequentially executing program.The threads execute programs of secure systems.The attacker is also modeled as a thread which runs ... |
| |
| Keywords: | Ad Hoc networks logic network trace mobile IP registration protocol |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
