SELinuxの不要なセキュリティポリシの削減手法の提案(セッションA-2:セキュリティポリシ)
スポンサーリンク
概要
- 論文の詳細を見る
SELinuxを導入する際は,汎用的なセキュリティポリシを適用することが多く,必要以上の権限を許可する可能性がある.また,誤って拒否ログから必要以上の権限を許可してしまった場合,SELinuxはこれを見つけることが困難である.そこで,必要以上に与えてしまったセキュリティポリシを自動的に発見し,システム管理者に削除を提案する手法を提案する.本手法は,カーネルで使用したポリシを取得し,実施申のポリシとの差分を取得することで実現されている.本稿では,SELinuxのポリシの問題点を明らかにし,この問題に対する対策を検討した.また,この対策を実現するシステムの設計を示す.
- 2008-03-06
著者
関連論文
- AnTオペレーティングシステムにおけるLinuxのLKM形式ドライバのプロセス化手法の設計 (ディペンダブルコンピューティング)
- AnTオペレーティングシステムにおけるLinuxのLKM形式ドライバのプロセス化手法の設計 (コンピュータシステム)
- ディレクトリ優先方式における保護プールサイズ制限機能とバッファ移動機能の設計(ネットワーク,クラウド及び一般)
- Tenderにおけるネットワーク透過なプロセス間通信機構の設計(セッション1-C:マルチメディアシステム)
- Tenderの動作継続制御機能における入出力デバイスの扱い(OS-3:入出力,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 特徴的なトークンが全トークンに占める割合を基にした迷惑メール判定法(一般)
- 組み込みシステム向けの高精度な周期実行制御法の設計 (コンピュータシステム)
- D-6-17 機密情報の拡散追跡機能における可視化機能の設計(D-6. コンピュータシステムC(ソフトウェア),一般セッション)
- Tenderオペレーティングシステムにおけるヘテロ仮想記憶(HVS)の実現と評価(システムプログラム)
- ファイルの使用頻度に基づくバッファキャッシュ制御法の評価
- AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 仮想記憶空間上のデータ不揮発性化による計算機処理永続化方式の提案(カーネル)
- LSMを利用したセキュアOSの性能評価機能の実現と評価(システムプログラム)
- ベイジアンフィルタにおける画像スパムのフィルタリング方式の設計と評価
- SPAMメールフィルタリング : ベイジアンフィルタの解説(情報のフィルタリング)
- AnTオペレーティングシステムにおけるLinuxのLKM形式ドライバのプロセス化手法の設計(コンピュータシステム技術3,組込み技術とネットワークに関するワークショップ ETNET2010)
- 組み込みシステム向けの高精度な周期実行制御法の設計(コンピュータシステム技術3,組込み技術とネットワークに関するワークショップ ETNET2010)
- B-032 AnTオペレーティングシステムにおけるLinuxのFDドライバのプロセス化手法(ソフトウェア,一般論文)
- ファイルの使用頻度に基づくバッファキャッシュ制御法(セッション5:ストレージ)
- ファイルの格納ディレクトリを考慮したバッファキャッシュ制御法の実現と評価(システムプログラム)
- D-6-24 プロセスの走行モードを考慮した可視化表示部の実現(D-6. コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-23 Tenderにおける資源「演算」を利用したプロセスグループ実行性能制限手法の設計(D-6. コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-20 入出力スロットを用いた入出力性能の調整機能の提案(D-6. コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-19 プログラム実行速度調整法におけるフィードバックを利用した高精度な制御法の提案(D-6. コンピュータシステムC(ソフトウェア),一般セッション)
- プログラムの走行モードを考慮した実行速度調整(カーネル)
- Tenderの資源再利用機能を利用した高速fork & exec処理の実現と評価(システムプログラム)
- Tenderにおけるメモリページを意識した高速なデータ通信機構(コンピュータシステム技術,先端的コンピュータシステム技術及び一般)
- B-031 AnTオペレーティングシステムにおける高精度な周期実行制御法の設計(ソフトウェア,一般論文)
- Tenderにおけるネットワーク透過なプロセス間通信機構の設計(セッション1-C:マルチメディアシステム)
- ベイジアンフィルタにおける画像スパムのフィルタリング方式の実現
- AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- AnTにおける入出力機器動作履歴を考慮したドライバプログラム起動制御法(セキュリティ・その他,組込技術とネットワークに関するワークショップETNET2008)
- 機密情報の拡散追跡機能による情報漏えいの防止機構
- AnTオペレーティングシステムにおけるLinuxのLKM形式ドライバのプロセス化手法の設計(コンピュータシステム技術3,組込み技術とネットワークに関するワークショップETNET2010)
- ホームページの構成ファイルを優先的にバッファキャッシュに保持する制御法の評価(OS-5 : 分散システム)
- 組み込みシステム向けの高精度な周期実行制御法の設計(コンピュータシステム技術3,組込み技術とネットワークに関するワークショップETNET2010)
- SELinuxの不要なセキュリティポリシの削減手法の提案(セッションA-2:セキュリティポリシ)
- SELinuxの不要なセキュリティポリシの削減手法の提案(セッションA-2:セキュリティポリシ)
- 機密情報の拡散追跡機能における情報漏えいの検知精度の向上手法(セッションA-4:プライバシー,情報漏えい(1))
- 機密情報の拡散追跡機能における情報漏えいの検知精度の向上手法(セッションA-4:プライバシー,情報漏えい(1))
- TenderにおけるOS動作の可視化のための情報収集と表示の方式(並行処理(2))
- Tender におけるOS動作の可視化のための情報収集と表示の方式
- ファイル操作のシステムコール発行頻度に基づくバッファキャッシュ制御法の提案
- 4L-2 優先処理の実行時間を短縮する入出力バッファ分割法(ファイルシステム・I/O,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- ライブラリ実装したプログラム実行速度調整法における処理の均一性の評価
- ゼロコピー通信処理を可能にする実メモリ交換機能の提案
- プログラムの走行モードを考慮した実行速度調整法の評価
- プログラムの走行モードを考慮した実行速度調整法の評価
- プログラムの走行モードを考慮した実行速度調整法の評価
- プログラムの走行モードを考慮した実行速度調整法の評価
- データ改ざん検出による侵入検知システムの一考察
- データ改ざん検出による侵入検知システムの一考察
- データ改ざん検出による侵入検知システムの一考察
- B_036 ディレクトリに着目したバッファキャッシュ制御法の評価(B分野:ソフトウェア)
- AnTオペレーティングシステムにおけるメモリ領域管理の設計と実現(カーネル)
- B_030 AnTにおける高速なプロセス間通信の実現(B分野:ソフトウェア)
- B_038 遅延書き込みを用いた暗号化ファイルシステムの高速化手法の提案(B分野:ソフトウェア)
- ベイジアンフィルタにおける画像スパムのフィルタリング方式の設計と評価
- システムコール発行間隔の制御によるプロセッサ使用量の調整(OS-5:カーネルと資源管理,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 3A-2 プロセッサ使用量の制御によるプログラム実行速度調整法のライブラリ実装(システムソフトウェアとストレージ,一般セッション,アーキテクチャ)
- D-6-21 Tenderにおける資源「入出力」を用いたEthernet通信の設計(D-6. コンピュータシステム,一般セッション)
- 組み込みシステム向けの高精度な周期実行制御法の設計
- AnTオペレーティングシステムにおける Linux のLKM形式ドライバのプロセス化手法の設計
- 3A-5 ファイルの使用頻度に基づくバッファキャッシュ制御法の提案(システムソフトウェアとストレージ,一般セッション,アーキテクチャ)
- AnTオペレーティングシステムにおけるプロセス生成制御機構(並行処理(1))
- D-3-7 AnTにおける利用要求を契機としたドライバプロセスの起動方法(D-3.ソフトウェアサイエンス,一般講演)
- Tenderの資源再利用機能を利用したfork&exec処理の高速化(並行処理(2))
- 乱数を用いた難読化手法の複雑な制御構造への適用に関する一考察
- 乱数を用いた難読化手法の複雑な制御構造への適用に関する一考察
- 乱数を用いた難読化手法の複雑な制御構造への適用に関する一考察
- TenderにおけるIPCの継続を可能にするプロセス実行途中状態の保存復元機能の設計(プロセス間通信とメモリ管理)
- B_028 Tenderにおけるプロセス実行途中状態の保存と復元の基本機能(B分野:ソフトウェア)