文献

J-GLOBAL ID：202002263814927500   整理番号：20A0274842

プロセス代数を用いたソフトウェア定義ネットワークにおけるオープンフロー制御器のトポロジー発見機構のモデリングと検証【JST・京大機械翻訳】

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra

著者 (8件)： Xiang Shuangqing (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China) ,  Xiang Shuangqing (LIACS, Leiden University, Niels Bohrweg 1, 2333 CA, the Netherlands) ,  Zhu Huibiao (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China) ,  Wu Xi (School of Computer Science, The University of Sydney, Australia) ,  Xiao Lili (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China) ,  Bonsangue Marcello (LIACS, Leiden University, Niels Bohrweg 1, 2333 CA, the Netherlands) ,  Xie Wanling (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, China) ,  Zhang Lei (Shanghai Key Laboratory of Multidimensional Information Processing, East China Normal University, Shanghai, China)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 187  ページ： Null  発行年： 2020年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： ソフトウェア定義ネットワーク(SDN)は,新しいパラダイムであり,ネットワークを管理する制御装置とデータフローを転送するスイッチの間の関心の分離を提供する。SDNはネットワークのプログラム可能性を可能にし,ネットワーク制御と管理の複雑さを低減する。OpenFlowプロトコルは,SDN制御装置とスイッチの間の広く受け入れられているインタフェースである。オープンフロー制御装置は,ソフトウェア定義ネットワーク(SDNs)のコアである。それらはトポロジー情報を収集し,ネットワークのグローバルで共有された視点を構築する。それはトポロジー依存コアモジュールと応用のためのサービスを提供するために使用される。したがって,ネットワークの集中化抽象的視点の精度は,多くの本質的なSDN操作のために最も重要である。しかしながら,ほとんどすべての主流のオープンフロー制御装置で使用されるトポロジー発見機構は,2種類のトポロジー中毒攻撃,リンクFabication AttackとHost Hijacking Attackを被っている。TopoGuardは,広く広がった安全なオープンフロー制御装置であり,それは標準トポロジー発見機構を改良して,これらの2つのアタックの自動的でリアルタイムの検出を提供した。しかしながら,TopoGuardの機構は,特にいくつかのホストがそれらの新しい位置に移動している状況において形式的検証を欠いている。本論文では,ネットワーク構成要素の通信逐次プロセス(CSP)モデルとそれらの間のインタフェイスを含む一般的パラメータ化フレームワークを提案した。TopoGuardの2つのループホールを,提案したシステムモデルを実行し検証することにより見出し,それはモデルチェッカープロセス解析ツールキット(PAT)におけるフレームワークの例である。さらに,2つのループホールを解くTopoGuardに基づく新しいトポロジー発見機構を提案した。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 集中化 ,  システムモデル ,  *位相幾何学 ,  *プロセス代数 ,  プロセス解析 ,  パラメタリゼーション ,  制御装置 ,  インタフェイス ,  *モデリング ,  シーケンシャル処理 ,  *ネットワーク ,  通信 ,  ネットワークアーキテクチャ
準シソーラス用語： ツールキット ,  ネットワーク制御 , 【Automatic Indexing@JST】

著者キーワード (5件)： 形式的検証 ,  モデリング ,  SDN ,  セキュアなトポロジー発見 ,  トポガード

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (7件)： プロセス代数 ,  ソフトウェア定義ネットワーク ,  フロー制御 ,  トポロジー ,  発見 ,  モデリング ,  検証