A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction

机译：状态空间缩减的SPIN安全路由协议的模型检查方法

获取原文

获取外文期刊封面目录资料

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Secure routing protocols is one of the types of wireless multi-hop network protocols where the validity of routes between nodes is guaranteed by utilizing digital signatures for route information. To proceed deployment of secure routing protocols in socia

机译：安全路由协议是无线多跳网络协议的类型之一，其中节点之间的路由有效性是通过使用数字签名获取路由信息来保证的。继续在社会中部署安全路由协议

著录项

来源
《IEEE International Parallel and Distributed Processing Symposium Workshops》|2020年|627-635|共9页
会议地点
作者
Hideharu Kojima; Naoto Yanai;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
model checking; state space reduction; secure routing protocols;

机译：模型检查;状态空间减少;安全路由协议;

相似文献

外文文献
中文文献
专利

1. Formal security analysis of Ariadne secure routing protocol using model checking [J] . E. Onem, A. Burak Gurdag, M. Ufuk Caglayan International journal of ad hoc and ubiquitous computing . 2012,第1期

机译：使用模型检查对Ariadne安全路由协议进行形式化安全分析
2. Secure opportunistic routing protocols: methods, models, and classification [J] . Salehi Mahmood, Boukerche Azzedine Wireless Networks . 2019,第2期

机译：安全的机会路由协议：方法，模型和分类
3. State space reduction techniques for model checking of MANET protocols [J] . Hideharu Kojima, Yuta Nagashima, Tatsuhiro Tsuchiya International Journal of Networking and Computing . 2017,第1期

机译：用于MANET协议模型检查的状态空间缩减技术
4. A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN [C] . Hideharu Kojima, Naoto Yanai International Symposium on Software Reliability Engineering Workshops . 2019

机译：一种用于SPIN的安全路由协议形式验证的状态空间抑制方法
5. Model checking the failover protocol of a commercial collaborative software system using SPIN [D] . Long, Tao 2007

机译：使用SPIN对商业协作软件系统的故障转移协议进行模型检查
6. Modeling and Simulation of a Novel Relay Node Based Secure Routing Protocol Using Multiple Mobile Sink for Wireless Sensor Networks [O] . Madhumathy Perumal, Sivakumar Dhandapani 2015

机译：无线传感器网络中使用多个移动接收器的新型基于中继节点的安全路由协议的建模和仿真
7. Effective reduction of cryptographic protocols specification for model-checking with Spin [O] . Urszula Krawczyk, Piotr Sapiecha 2011

机译：旋转模型检查的加密协议规范的有效减少

A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅