文献

J-GLOBAL ID：201702225631518579   整理番号：17A0756004

SDNネットワーク証明に向けて 複雑なシステム管理【Powered by NICT】

Towards SDN Network Proofs - Taming a Complex System

著者 (4件)： Stevens Matt ,  Ng Bryan ,  Streader David ,  Welch Ian
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICECCS  ページ： 171-180  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 現在SDN研究コミュニティはSDNが複雑となりすぎるインライン動的ネットワーク機能を考慮し,転送面からそれらを一掃するために呼をもたらした。本論文では,この複雑さを制御およびネットワーク管理者が増強され,証明可能なネットワーク特性を提供するために複雑なネットワーク機能を展開SDN転送面にすることを可能にする包括的なフレームワークを紹介した。は最初の位置とその影響範囲を定量するためのネットワークへのマッピング複雑なネットワーク機能を説明した。解析を通し,すべてのネットワーク機能に共通の特性を同定し,型関数を用いた一般的なネットワーク機能,多くの近代的なプログラミング言語の基礎の挙動を特定するために形式的手法を提供する。はこの一般的なネットワーク機能を拡張したセキュリティ特性を提供するファイアウォールの二種類を実証し,また統合脅威管理ファイアウォールやディープパケット検査の基礎となる連鎖を実証した。ネットワーク関数のブラックボックス実装の特性を証明への進行中の研究の基礎である。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： セキュリティ ,  *ネットワーク ,  ファイアウォール ,  *システムマネジメント ,  ブラックボックス ,  コミュニティ ,  プログラミング言語
準シソーラス用語： ネットワーク管理者 ,  動的ネットワーク , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (3件)： SDN ,  証明 ,  システム管理