情報流解析における機密度ワイルドカードの提案

DOI Web Site オープンアクセス

書誌事項

タイトル別名
  • Towards Secrecy Wildcards in Information Flow Analysis
  • ジョウホウリュウ カイセキ ニ オケル キミツド ワイルドカード ノ テイアン

この論文をさがす

説明

<p>本論文では，情報流解析における機密度がパラメータ化されたクラスの柔軟性向上のために機密度ワイルドカードを提案する．従来提案されている機密度がパラメータ化されたクラスは，Javaのジェネリクスと同様に不変(invariant)であり，かつJavaと異なり機密度のためのワイルドカードが存在しないため，柔軟なAPIを実装することが難しい．本論文では，対象をメソッドの仮引数に出現する境界付きの機密度ワイルドカードに制限して形式化し，Javaプログラム中に機密度ワイルドカードを記述するためのアノテーションを定義する．</p>

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ