Art

J-GLOBAL ID：201902286972567151   Reference number：19A0929668

Secrecy Parameterization in Information Flow Analysis for Object-oriented Programs.

オブジェクト指向言語の情報流解析における 機密度のパラメータ化

Author (3)： YOSHIDA SHIN'YA (LINE株式会社) ,  KUWABARA HIROAKI (南山大学情報センター) ,  KUNIEDA YOSHITOSHI (立命館大学情報理工学部)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 36  Issue： 1  Page： 48-65(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： *object-oriented language ,  information processing ,  *program analysis ,  *Computer Security ,  parameterization ,  information ,  leakage ,  data type ,  evaluation test
Semi thesaurus term： secret information ,  information flow ,  information leakage

JST classification (3)： General-purpose programming language  (JD03051H) ,  Language processors  (JD03040F) ,  Data protection  (JD01020V)

Terms in the title (4)： オブジェクト指向言語 ,  解析 ,  機密 ,  パラメータ化