Art

J-GLOBAL ID：201402246118292023   Reference number：14A1334079

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

Author (5)： HASHIMOTO MASAKI (情報セキュリティ大学院大) ,  TAKIZAWA MINETOSHI (情報セキュリティ大学院大) ,  TAKAYAMA FUMIHIKO (情報技研) ,  TSUJI HIDENORI (情報技研) ,  TANAKA HIDEHIKO (情報セキュリティ大学院大)
Material： 情報処理学会シンポジウムシリーズ(CD-ROM)  (IPSJ Symposium Series (CD-ROM))
Volume： 2014  Issue： 2  Page： ROMBUNNO.2C4-1  Publication year： Oct. 15, 2014 
JST Material Number： L6741A  ISSN： 1882-0840  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *Computer Security ,  *logic programming language ,  interoperability ,  *access control ,  Linux ,  system evaluation ,  evaluation test ,  performance analysis ,  Safety ,  response time ,  cache memory ,  action and behavior ,  falsification
Semi thesaurus term： Datalog ,  SENinux

JST classification (2)： Data protection  (JD01020V) ,  General-purpose programming language  (JD03051H)

Terms in the title (4)： 論理型言語 ,  認可 ,  実装 ,  評価