文献

J-GLOBAL ID：201702233810005613   整理番号：17A1774662

ファイアウォールの例による自動修復【Powered by NICT】

Automated repair by example for firewalls

著者 (3件)： Hallahan William T. (Yale University) ,  Zhai Ennan (Yale University) ,  Piskac Ruzica (Yale University)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： FMCAD  ページ： 220-229  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ファイアウォールは企業ネットワークを管理するために広く展開されている。企業規模のファイアウォールは百または千のルールが含まれていないため,ファイアウォール ファイアウォールにおけるルールは,管理者の仕様を満たすことの正しさを保証する重要であるが困難な問題である。既存ファイアウォール診断と検証法は,潜在的に不完全なルールを同定することができるが,それらは管理者ほとんど故障ルールを自動で支援を提供していない。FireMason,例によるファイアウォールのための自動修復を提供する最初の努力を提示した。管理者はファイアウォールにおける望ましくない挙動を観測し,患者は意図した挙動に適合する入力/出力例を提供するかもしれない。例に基づいて,FireMasonは既存のファイアウォールのための新しいファイアウォール規則を合成する。新しいファイアウォールを事例により指定されたパケットを正しく扱う,元のファイアウォールの挙動の残りを維持した。SMT式にファイアウォールの変換により,変化が正しいことを形式的保証を提供する。実世界事例研究から評価した結果,FireMasonは修理を効率的に探索できることを示した。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】

分類 (2件)： 計算機網  (JC03000K) ,  データ保護  (JD01020V)

タイトルに関連する用語 (2件)： ファイアウォール ,  修復