文献

J-GLOBAL ID：201902255853641131   整理番号：19A0343526

情報流解析のためのJavaアノテーション

Java Annotations for Information Flow Analysis.

著者 (3件)： 吉田真也 (立命館大 大学院情報理工学研究科) ,  桑原寛明 (南山大 情報セ) ,  國枝義敏 (立命館大 情報理工)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 34  号： 4  ページ： 47-53  発行年： 2017年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,Javaプログラムに対する情報流解析のためのJavaアノテーションを提案する。情報流解析を用いることでソフトウェア内の機密情報の流出を検出できる。情報流解析では機密度束の定義とプログラム中のデータに対する機密度の指定が必要であるため,機密度の指定と機密度束の定義のためのアノテーションを定義する。アノテーションで機密度が指定されたJavaプログラムに対する情報流解析をOpenJDKのJavaコンパイラを拡張して実装し,適用例を示す。(著者抄録)

シソーラス用語： *Java ,  *アノテーション ,  情報処理 ,  *プログラム解析 ,  *コンピュータセキュリティ ,  性質 ,  プログラミング環境 ,  コンパイラ ,  自動設計 ,  評価試験
準シソーラス用語： 機密性 ,  情報フロー

分類 (4件)： 汎用プログラミング言語  (JD03051H) ,  人工知能  (JE08000Z) ,  言語プロセッサ  (JD03040F) ,  データ保護  (JD01020V)

タイトルに関連する用語 (3件)： 解析 ,  Java ,  アノテーション