抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
現在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】