静的解析によるネットワーク構成モデルの自動検証手法の提案

• Item type: Trans(1)
• 公開日: 2025-07-15
• タイトル / 言語: ja
• タイトル: 静的解析によるネットワーク構成モデルの自動検証手法の提案
• タイトル / 言語: en
• タイトル: Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集号投稿論文] ネットワーク構成モデル, 静的解析, 自動検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 信州大学
• 著者所属: 国立情報学研究所
• 著者所属: 信州大学
• 著者所属: 日本工業大学
• 著者所属: ものつくり大学
• 著者所属: 信州大学
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者所属(英): en
• 著者所属(英): National Institute of Informatics
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者所属(英): en
• 著者所属(英): Nippon Institute of Technology
• 著者所属(英): en
• 著者所属(英): Institute of Technologists
• 著者所属(英): en
• 著者所属(英): Shinshu University
• 著者名: 藤田,智哉; 鈴木,彦文; 小形,真平; 橋浦,弘明; 永井,孝; 岡野,浩三
• 著者名(英): Tomoya Fujita; Hikofumi Suzuki; Shinpei Ogata; Hiroaki Hashiura; Takashi Nagai; Kozo Okano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ネットワークの設計段階において，設計者は通常，ネットワークの妥当性を机上で判断する．しかし，ネットワークプロトコルに基づく機器間の相互作用は複雑であり，判断が困難なことがある．一方，実機による試験を行う場合でも機器の調達や準備に費用や手間がかかる．しかし従来手法では，ポリシ違反の原因となる設定値の指摘や，構文的不完全な機器設定ファイルに対する検証ができない問題がある．そこで本稿では，ネットワーク構成を表すモデル（ネットワーク構成モデル）に対し，その一貫性を静的解析により自動検証する手法を提案する．提案手法では，ポリシ違反の検出のためにネットワーク構成モデルに基づいた検証を行い，ポリシ違反の原因となる設定値を指摘する．さらに設計者が各ネットワーク機器の設定内容を確認しやすいように，設計者がみなれているであろう実機の出力を模倣した形式にモデルを変換する．評価実験として，広域型キャンパスである信州大学のネットワーク構成を適用事例とし，設定誤りを加え，提案手法を適用した．さらに，実機と等価な機器の状態を出力できるかどうかを評価した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In the network design phase, designers typically assess the validity of the network configuration on paper. However, the interactions between devices based on network protocols can be complex, making this assessment challenging. Meanwhile, testing with actual devices incurs significant costs and effort for procurement and preparation. Traditional methods, however, have limitations in identifying configuration values that cause policy violations and verifying syntactically incomplete device configuration files. In this paper, we propose a method to automatically verify the consistency of a model representing the network configuration (Network Configuration Model) by static analysis. The proposed method performs verification based on the network configuration model to detect policy violations and points out configuration values that cause these violations. Additionally, to facilitate the designers' review of each network device's configuration, the model is converted into a format that mimics the output of real devices, which designers are likely familiar with. As a case study, we applied the proposed method to the network configuration of Shinshu University, a large-scale campus network, by intentionally introducing configuration errors and applying the method. We further evaluated whether it could output device states equivalent to those of actual devices.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12894091
• 書誌情報: 情報処理学会論文誌デジタルプラクティス（TDP）; 巻 6, 号 3, p. 42-55, 発行日 2025-07-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2435-6484
• 出版者 / 言語: ja
• 出版者: 情報処理学会