文献

J-GLOBAL ID：201002284813179777   整理番号：10A0995051

論理プログラミングを基礎とした認可ポリシ記述言語

Policy Description Language for Authorization Using Logic-based Programming

著者 (5件)： 橋本正樹 (情報セキュリティ大学院大) ,  KIM Mira (情報セキュリティ大学院大) ,  辻秀典 (情報セキュリティ大学院大) ,  辻秀典 (情報技研) ,  田中英彦 (情報セキュリティ大学院大)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 51  号： 9  ページ： 1682-1691  発行年： 2010年09月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年の情報システムでは脆弱性を完全に排除するのが難しいため,多層防御によってセキュリティ・インシデントの発生に備える必要がある。多層防御を効果的に実現するためには,細粒度の強制アクセス制御を行うための膨大なアクセス制御規則をポリシとして記述する必要があるが,既存の記述方式は可読性や保守性に問題がある。本研究では,論理プログラムとしてアクセス制御規則を記述することで,属性の継承や頻出する認可手順のサブルーチン化をサポートするポリシ記述言語を提案し,この問題を解決する。本稿では,認可判定の妥当性と表現力を評価して,本言語の有用性を実証し,期待される効果を考察する。(著者抄録)

シソーラス用語： *コンピュータセキュリティ ,  *システム記述言語 ,  性質 ,  *論理プログラミング ,  アクセス制御 ,  指針 ,  認証 ,  許認可 ,  能力 ,  システム評価
準シソーラス用語： セキュリティポリシー ,  脆弱性 ,  認可 ,  表現力

分類 (3件)： データ保護  (JD01020V) ,  応用プログラミング言語  (JD03052Y) ,  計算機システム開発  (JD02010R)

引用文献 (27件)：

• Bass, T. and Robichaux, R.: Defense-in-depth revisited: Qualitative risk analysis methodology for complex network-centric operations, Military Communications Conference, 2001. MILCOM 2001. Communications for Network-Centric Operations: Creating the Information Force. IEEE, Vol.1, pp. 64-70(2001).
• Loscocco, P. and Smalley, S.: Integrating Flexible Support for Security Policies into the Linux Operating System, Proc. FREENIX Track: 2001 USENIX Annual Technical Conference, Berkeley, CA, USA, USENIX Association, pp. 29-42(2001).
• Warren, D. H. D., Pereira, L. M. and Pereira, F.: Prolog- the language and its implementation compared with Lisp, Proc.1977 Symposium on Artificial Intelligence and Programming Languages, New York, NY, USA, ACM, pp. 109-115(1977).
• Ceri, S., Gottlob, G. and Tanca, L.: What you always wanted to know about Datalog (and never dared to ask), IEEE Trans. Knowledge and Data Engineering, Vol.1, No.1, pp. 146-166(1989).
• Ferraiolo, D. F. and Kuhn, D. R.: Role-Based Access Control, 15th National Computer Security Conference, Baltimore, MD, pp. 13-16(1992).

タイトルに関連する用語 (4件)： 論理プログラミング ,  基礎 ,  認可 ,  記述言語