文献

J-GLOBAL ID：202002290671079740   整理番号：20A2783416

OpenFlowネットワークにおけるパケット可到達性検証【JST・京大機械翻訳】

Packet Reachability Verification in OpenFlow Networks

著者 (2件)： Yoshiura Noriaki (Department of Information and Computer Sciences, Saitama University, Japan) ,  Sugiyama Keigo (Department of Information and Computer Sciences, Saitama University, Japan)
資料名： ACM Proceedings  (ACM Proceedings)
号： ICSCA 2020  ページ： 227-231  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： OpenFlowは,ネットワーク機器を中心的に制御することを可能にし,パケットの複雑な転送を実現し,ネットワークトポロジーを柔軟に変化させるネットワーク技術である。OpenFlowネットワークでは,ネットワーク機器をOpenFlowスイッチとOpenFlowコントローラに分離する。OpenFlowネットワークをOpenFlow制御装置のプログラムによって構成した。NetCoreはOpenFlowのためのプログラミング言語の1つであり,機能的プログラミング言語Haskellで用いられる。Haskellのプログラムは,形式的証明管理システムであるCoqで検証できる。NetCoreでは,OpenFlowネットワークを検証する方法を提案した。本方法において,検証される特性は,手動で論理で記述されなければならない。本論文は,可到達性検証のための論理的公式を自動的に生成することによって,パケット可到達性の自動検証の方法を提案した。また,実験により提案した方法を評価した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 管理システム ,  制御装置 ,  *ネットワーク ,  プログラミング言語 ,  *パケット
準シソーラス用語： ネットワークトポロジー ,  Haskell ,  ネットワーク機器 ,  *OpenFlow , 【Automatic Indexing@JST】

著者キーワード (4件)： Coq ,  形式的検証 ,  OpenFlow ,  ソフトウェア定義ネットワーク

分類 (2件)： 計算機網  (JC03000K) ,  通信網  (ND07030A)

タイトルに関連する用語 (4件)： OpenFlow ,  パケット ,  可到達性 ,  検証