| 講演名 | 2019-11-29 ファイアウォールルール整列問題に対する厳密アルゴリズム 文岩 涼祐(埼玉大), 山田 敏規(埼玉大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ファイアウォールルール整列問題は，与えられたファイアウォールポリシー(パケットのルール順序)に対して，動作が同一でパケットとの比較回数の総和が最小であるパケットルールの置換を求める問題である．小文では，ファイアウォールルール整列問題に対する分枝限定法を用いた厳密解法を提案する． |
| 抄録(英) | Given a firewall policy(a sequence of packet rules), the sorting problem of rules in a firewall is to sort the rules in a firewall to minimize the number of comparisons between packets and rules such that the resulting firewall policy is equivalent to the original firewall policy in execution. This paper presents a branch-and-bound exact algorithm for the sorting problem of rules in a firewall. |
| キーワード(和) | ファイアウォール / パケットルール / 整列問題 / 有向無閉路グラフ / 分枝限定法 |
| キーワード(英) | Firewalls / Packet riles / Sorting problem / Directed acyclic graphs / Branch-and-Bound algorithms |
| 資料番号 | CAS2019-55,MSS2019-34 |
| 発行日 | 2019-11-21 (CAS, MSS) |
| 研究会情報 | |
| 研究会 | CAS / MSS / IPSJ-AL |
|---|---|
| 開催期間 | 2019/11/28(から2日開催) |
| 開催地（和） | 旧大連航路上屋（北九州門司） |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 委員長氏名（和） | 山脇 大造(日立) / 髙井 重昌(阪大) / 瀧本 英二(九大) |
| 委員長氏名（英） | Taizo Yamawaki(Hitachi) / Shigemasa Takai(Osaka Univ.) / 瀧本 英二(九大) |
| 副委員長氏名（和） | 高島 康裕(北九州市大) / 尾崎 敦夫(阪工大) |
| 副委員長氏名（英） | Yasuhiro Takashima(Univ. of Kitakyushu) / Atsuo Ozaki(Osaka Inst. of Tech.) |
| 幹事氏名（和） | 中村 洋平(日立) / 佐藤 隆英(山梨大) / 金澤 尚史(阪大) / 小林 孝一(北大) / 河村 彰星(九大) / 垣村 尚徳(慶應大) / 泉 泰介(名工大) |
| 幹事氏名（英） | Yohei Nakamura(Hitachi) / Takahide Sato(Yamanashi Univ.) / Takahumi Kanazawa(Osaka Univ.) / Koichi Kobayashi(Hokkaido Univ.) / 河村 彰星(九大) / 垣村 尚徳(慶應大) / 泉 泰介(名工大) |
| 幹事補佐氏名（和） | 佐藤 弘樹(ソニーLSIデザイン) / 山口 基(ルネサスエレクトロニクス) / 林 直樹(阪大) |
| 幹事補佐氏名（英） | Hiroki Sato(Sony LSI Design) / Motoi Yamaguchi(Renesas Electronics) / Naoki Hayashi(Osaka Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Circuits and Systems / Technical Committee on Mathematical Systems Science and its applications / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ファイアウォールルール整列問題に対する厳密アルゴリズム |
| サブタイトル（和） | |
| タイトル（英） | Exact Algorithm for Sorting Rules in Firewall |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ファイアウォール / Firewalls |
| キーワード(2)（和/英） | パケットルール / Packet riles |
| キーワード(3)（和/英） | 整列問題 / Sorting problem |
| キーワード(4)（和/英） | 有向無閉路グラフ / Directed acyclic graphs |
| キーワード(5)（和/英） | 分枝限定法 / Branch-and-Bound algorithms |
| 第 1 著者 氏名（和/英） | 文岩 涼祐 / Ryosuke Fumiiwa |
| 第 1 著者 所属（和/英） | 埼玉大学(略称：埼玉大) Saitama University(略称：Saitama Univ.) |
| 第 2 著者 氏名（和/英） | 山田 敏規 / Toshinori Yamada |
| 第 2 著者 所属（和/英） | 埼玉大学(略称：埼玉大) Saitama University(略称：Saitama Univ.) |
| 発表年月日 | 2019-11-29 |
| 資料番号 | CAS2019-55,MSS2019-34 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | CAS-313,MSS-314 |
| ページ範囲 | pp.73-78(CAS), pp.73-78(MSS), |
| ページ数 | 6 |
| 発行日 | 2019-11-21 (CAS, MSS) |