Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
スポンサーリンク
概要
- 論文の詳細を見る
Access Control Listは、Layer3スイッチやFirewallなどのネットワーク機器において、どのようなパケットを通過させ遮断させるかを記述したものである.Access Control Listはネットワークトポロジーやセキュリティポリシーの変更、セキュリティインシデントの発生などで変更されることがある.ネットワーク管理者はその度に変更することになるが、この変更が積み重なるとAccess Control Listには冗長な記述が増えてくることがある.ネットワーク管理者がAccess Control Listを書き換える場合、その前後でAccess Control Listの意味が変わっていないことを確認する必要がある.本論文では、2つのAccess Control Listの等価性を判定するためのテストケースの作成方法を提案する.このテストケースはパケットであり、2つのAccess Control Listをそれぞれ設定したときのこのパケットを透過性をチェックすることで、2つのAccess Control Listの等価性を判定する.
- 2012-03-08
著者
-
吉浦 紀晃
埼玉大学大学院理工学研究科数理電子情報部門情報領域
-
佐山 弘和
三菱電機ulsi技術開発センター
-
吉浦 紀晃
埼玉大学大学院工学研究科
-
吉浦 紀晃
埼玉大学大学院理工研究科数理電子情報部門情報領域
-
佐山 弘和
NTTデータシステム技術
-
吉浦 紀晃
埼玉大学
関連論文
- 利他主義と情報技術による地域社会の安全化 : e自警ネットワーク実現に向けたシステムの導入と展望(第4部 学術論文,ユビキタス社会と建築・都市のフロンティア)
- 低電圧対応WポリサイドデュアルゲートCMOS
- 移動体通信システムにおける移動体の動きと通信性能評価に関する研究
- 局所歪みチャネル技術による高駆動能力55nmCMOSの作製
- 証明力が拡張された適切さの論理体系ER
- 高信頼性と高性能を両立するシステムオンチップ対応CMOS
- デュアルオフセット構造を有する135GHzf_SOI MOSFETの高周波アナログ混載技術
- ED2000-133 / SDM2000-115 / ICD-2000-69 サブ0.1μmCMOS技術 : エレベイテッドソース・ドレイン技術を中心に
- ED2000-133 / SDM2000-115 / ICD2000-69 サブ0.1 μm CMOS技術 : エレベイテッドソース・ドレイン技術を中心に
- ED2000-133 / SDM2000-115 / ICD2000-69 サブ0.1μm CMOS技術 : エレベイテッドソース・ドレイン技術を中心に
- 移動体の移動を考慮した二次元セルラーネットワークの性能評価
- 一次元セルラーネットワークにおける保留時間を考慮したチャネル制御について(通信と制御)
- 二次元セルラーシステムにおける移動特性と通信性能に関するシミュレーション評価
- 方向のチャネルをもつ高性能微細MOSFET
- 分散自律設置カメラシステムによる地域社会の安全化--e自警ネットワーク構想の概要と学校への導入事例紹介 (第22回センシングフォーラム 資料--センシング技術の新たな展開と融合) -- (セッション1B2 ネットワークセンシングシステム)
- 一次元セルラーネットワークの通信性能に関する移動体の速度分布の影響について(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- 生体情報による認証への一方向関数の応用
- 移動体の速度分布を考慮した一次元セルラーネットワークのシミュレーションによる通信性能評価
- ハッシュ関数を用いた生体情報による認証の実験
- ハッシュ関数を用いた生体情報による認証の実験
- ハッシュ関数を用いた生体情報による認証の実験
- 多地点参加の遠隔講義の運用実験
- 多地点参加の遠隔講義の運用実験
- 適切さの論理ERの自動定理証明器の実装 (特集 「知識発見の生命科学への応用」および一般)
- BitTorrentにより配信される音楽や映像ファイルの自動検出 (インターネットアーキテクチャ)
- BitTorrentにより配信される音楽や映像ファイルの自動検出 (技術と社会・倫理)
- DNSサーバの分散管理から集中管理への移行 (第4回ネットワークシンポジウム講演論文集)
- 時相論理によるリアクティブシステム動作仕様からの効率的なプログラムの合成法 (第3回ネットワークシンポジウム講演論文集)
- リアクティブシステムの段階的充足可能性とSafety Propertyの関係
- 証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
- 適切さと論理RとERの証明力の比較
- 適切さの論理ERの決定可能性
- 証明力を拡張した適切さの論理ER
- 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)
- BitTorrentにより配信される音楽や映像ファイルの自動検出
- プライベートネットワークアドレスを利用する際の経路制御について
- リアクティブシステム動作仕様の段階的充足可能性の判定手続き(システム検証の科学技術)
- DNSサーバの分散管理から集中管理への移行
- リアクティブシステムの利用に伴う進化
- Access Control Listの等価性判定のためのテストケース生成 (技術と社会・倫理)
- ICMPパケットの遮断によるIPv6通信における問題への対策 (情報通信マネジメント)
- Access Control Listの等価性判定のためのテストケース生成 (インターネットアーキテクチャ)
- 災害対策におけるコミュニケーション基盤フレームワークの一提案(省エネルギーと超高速ネットワーク,インターネットと環境・エコロジー,一般)
- 災害対策におけるコミュニケーション基盤フレームワークの一提案
- 首都圏近郊の大学における計画停電の影響と対策
- Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
- Access Control Listの等価性判定のためのテストケース生成(NW情報調査・可視化技術,インターネットと情報倫理教育,一般)
- ICMPパケットの遮断によるIPv6通信における問題への対策(サービス管理,運用管理技術,セキュリティ管理,及び一般)
- 検索されたWebページにおける検索語に基づく重要箇所の表示(ネットワークサービス,インターネットと情報倫理教育,一般)
- 位置情報に基づく災害時の重要情報を優先転送するネットワーク管理手法〜実用化に向けた実地検証報告〜
- Access Control List の等価性判定のためのテストケース生成