Art

J-GLOBAL ID：202002269282126619   Reference number：20A0848623

Bounded Secrecy Parameters in Information Flow Analysis.

情報流解析における制約付き機密度パラメータ

Author (2)： KUWABARA HIROAKI (南山大学情報センター) ,  KUNIEDA YOSHITOSHI (立命館大学情報理工学部)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 36  Issue： 4  Page： 4_39-4_45(J-STAGE)  Publication year： 2019 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *software design ,  *software development ,  evaluation test ,  information processing ,  *program analysis ,  property ,  parameterization ,  requirement specification ,  constraint condition(restriction) ,  *specification description
Semi thesaurus term： *コンピュータソフトウェア ,  confidentiality ,  *type system ,  information flow

JST classification (3)： Computer system development  (JD02010R) ,  Language processors  (JD03040F) ,  Theory of computation  (JB02000A)

Terms in the title (3)： 解析 ,  制約 ,  密度パラメータ