文献

J-GLOBAL ID：201702211754861579   整理番号：17A0170286

本論文は,モデル検査に基づくOPENFLOWマルチプロトコルのパケット転送プロトコルの解析と検証を提示した。【JST・京大機械翻訳】

Analysis and Verification for OpenFlow Multi-switch Protocol Based on Model Checking

著者 (4件)： Zhu Ge (Department of Computer Science and Technology,Tongji University, State Key Laboratory of High-end Server & Storage Technology) ,  Zeng Guosun (Department of Computer Science and Technology,Tongji University) ,  Ding Chunling (Department of Chemistry,Tongji University) ,  Wang Wei (Department of Computer Science and Technology,Tongji University)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 43  号： 10  ページ： 74-80  発行年： 2016年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： OPENFLOWプロトコルはSDNネットワークにおける制御平面とデータ転送平面の間の相互作用の規範と標準であり、その正確性はネットワーク全体の機能の実現に直接影響する。モデル検査技術を用いて,OPENFLOWプロトコルの正当性を検証する形式的方法を実現した。まず第一に,OPENFLOWプロトコルのためのサブプロセスプロトコルを提案して,それは検証のための用例としてOPENFLOWマルチプロトコルパケット転送プロトコルを使用した。次に,プロトコル挙動オートマトンを用いて,このプロトコルを形式的にモデル化し,そして,時間的論理記述プロトコルによって検証する必要がある。最終的に,このアルゴリズムは,与えられた特性要求を満たすかどうかを検証するためにアルゴリズムを提案して,それによって,OPENFLOWプロトコルが正しいかどうかを検出して,それを修正した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： ネットワーク ,  *モデル検査 ,  オートマトン ,  *プロトコル ,  モデリング ,  データ転送 ,  アルゴリズム ,  相互作用
準シソーラス用語： モデル検査技術 ,  正確性 ,  規範 ,  コントロールプレーン ,  *パケット伝送 , 【Automatic Indexing@JST】

著者キーワード (4件)： OpenFlow protocol ,  Model checking ,  Protocol action automata machine ,  Temporary logic

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (8件)： 論文 ,  モデル検査 ,  OpenFlow ,  マルチ ,  プロトコル ,  パケット転送 ,  解析 ,  検証