経路保証プロトコルの効率的な安全性検証手法の開発

路由保证协议高效安全验证方法的开发

• 批准号: 21K11866
• 负责人: 小島 英春
• 金额: $ 2.58万
• 依托单位: Osaka Institute of Technology (2022)Osaka University (2021)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K11866/
• 关键词: 安全性検証; 経路保証プロトコル; モデル検査; 無線マルチホッププロトコル

本研究では，経路保証プロトコルの安全性の検証を行う．対象となる経路保証プロトコルは，無線アドホックネットワークや無線センサネットワーク上で動作することを想定しており，端末が動的にネットワークへ参加や離脱を行うことが考えられる．このようなネットワークでは，さまざまな経路が構築される可能性がある．どのような経路が構築されても，適切に経路保証を行うことができることを示す．検証を行うにあたって，端末数が増加すると構築可能な経路の数が爆発的に増加することが挙げられる．その場合，全ての構築可能な経路を対象に検証を行うことは非常に難しい．そこで，効率的に検証を行う方法を開発する．検証を行うために，安全性を検証するためのツールを用い，そのツールのためのモデルを構築する．このモデルは，経路保証プロトコルの動作を表しており，端末間の接続状況を用いてどのような経路が構築されているかを表すネットワークトポロジも表現する．このトポロジを表現する際に，トポロジ形状が同じ場合には，同じ状態とみなすことで，検証の対象となる経路を削減することを目指す．対象となる経路削減方法を開発し，その方法を用いて安全性検証を行う．ツールにその方法を適用し，実行時間の比較，使用メモリ量の比較を行うことで，効率的に検証を行うことが可能であることを示す．

This study aims to provide a safe and reliable way to ensure the safety of the vehicle. For example, if you want to make sure that the network is running smoothly, you can use the wireless network to ensure that the network is running smoothly. The possibility of the construction of the road is very high. The construction of the road is completed, and the road is properly guaranteed. The number of possible routes is increasing. In all cases, it is extremely difficult to construct a complete network of possible routes for the detection of objects. The method of proving the efficiency of the system is developed. The security of the building The circuit guarantees the operation of the circuit, and the terminal connection condition is used to construct the circuit. In this case, the image of the image is reduced. The development of a new method for reducing the risk of radiation and its application in safety assessment. The method is applicable, the comparison of execution time is performed, the comparison of execution quantity is performed, and the verification of efficiency is performed.