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

DOI Web Site オープンアクセス

書誌事項

タイトル別名
  • Bounded Secrecy Parameters in Information Flow Analysis．
  • ジョウホウリュウ カイセキ ニ オケル セイヤク ツキ キミツド パラメータ

この論文をさがす

説明

<p>本論文では，情報流解析における制約付き機密度パラメータを提案する．機密度パラメータを用いることで，各データの具体的な機密度を指定することなくクラスや関数を定義することができる．しかし，機密度パラメータに対して具体的な機密度をどのように割り当てても非干渉性を満たすことが要求される．制約付き機密度パラメータはこの強い制約を緩和する．本論文では，手続き型言語を対象として制約付き機密度パラメータに対応した情報流解析のための型システムを定義し，簡単な適用例を示す．</p>

収録刊行物

関連プロジェクト

もっと見る

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

問題の指摘

ページトップへ