文献

J-GLOBAL ID：201402246118292023   整理番号：14A1334079

論理型言語によるSELinux向け認可判定機構の実装と評価

著者 (5件)： 橋本正樹 (情報セキュリティ大学院大) ,  滝澤峰利 (情報セキュリティ大学院大) ,  高山扶美彦 (情報技研) ,  辻秀典 (情報技研) ,  田中英彦 (情報セキュリティ大学院大)
資料名： 情報処理学会シンポジウムシリーズ(CD-ROM)  (IPSJ Symposium Series (CD-ROM))
巻： 2014  号： 2  ページ： ROMBUNNO.2C4-1  発行年： 2014年10月15日 
JST資料番号： L6741A  ISSN： 1882-0840  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： SELinuxはシステム侵害後の被害拡大を防止できる点で有用であるが,ポリシ記述の簡単化はもとより,ポリシの可読性や保守性,拡張性の向上が課題となっている。本研究は,論理型言語によるポリシ記述・処理系を実装することでそれら課題を解決し,記述範囲の拡張や強制アクセス制御機構の相互運用性向上をはかるものである。本稿では,SELinuxの認可判定機構をDatalogで置き換えた上で各種評価を行い,論理型言語によるポリシ処理系が現実的な性能で動作することを実証する。また,強制アクセス制御機構の構成変更に伴う改ざん耐性と迂回困難性の変化を検証し,提案機構の有用性と安全性に対する考察を行った結果を報告する。(著者抄録)

シソーラス用語： *コンピュータセキュリティ ,  *論理型言語 ,  インタオペラビリティ ,  *アクセス制御 ,  Linux ,  システム評価 ,  評価試験 ,  性能分析 ,  安全性 ,  応答時間 ,  キャッシュメモリ ,  行為
準シソーラス用語： Datalog ,  SENinux ,  改竄

分類 (2件)： データ保護  (JD01020V) ,  汎用プログラミング言語  (JD03051H)

タイトルに関連する用語 (4件)： 論理型言語 ,  認可 ,  実装 ,  評価