Art

J-GLOBAL ID：201002284813179777   Reference number：10A0995051

Policy Description Language for Authorization Using Logic-based Programming

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

Author (5)： HASHIMOTO MASAKI (情報セキュリティ大学院大) ,  KIM Mira (情報セキュリティ大学院大) ,  TSUJI HIDENORI (情報セキュリティ大学院大) ,  TSUJI HIDENORI (情報技研) ,  TANAKA HIDEHIKO (情報セキュリティ大学院大)
Material： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
Volume： 51  Issue： 9  Page： 1682-1691  Publication year： Sep. 15, 2010 
JST Material Number： Z0778B  ISSN： 1882-7837  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *computer security ,  *system description language ,  property ,  *logic programming ,  access control ,  guiding principle ,  authentication ,  official sanction ,  ability ,  system evaluation
Semi thesaurus term： security policy ,  vulnerability ,  Licensure ,  expressive power

JST classification (3)： Data protection  (JD01020V) ,  Applied programming languages  (JD03052Y) ,  Computer system development  (JD02010R)

Reference (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).

Terms in the title (4)： 論理プログラミング ,  基礎 ,  認可 ,  記述言語