文章基本信息

标题：任意の機密度束を用いた情報流解析における非機密化プリミティブの配置
本地全文：下载
作者：桑原寛明 ; 國枝義敏
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2017
卷号：34
期号：2
页码：2_28-2_38
DOI：10.11309/jssst.34.2_28
出版社：Japan Society for Software Science and Technology
摘要：本論文では，任意の機密度束を用いた情報流解析において，型エラーを修正するために配置される非機密化プリミティブの機密度を求める手法を提案する． Declassificationはプログラム構成要素の機密度を低下させることで不正な情報流を解消する手法であり，非機密化プリミティブの配置箇所と機密度を求める必要がある．我々の従来手法 [9] では，2要素の機密度束を仮定したため非機密化プリミティブの機密度を求める必要はなく，配置箇所のみを決定する．本論文では，任意の機密度束を仮定した場合に非機密化プリミティブの機密度を求める方法を示し，得られた機密度が不正な情報流を解消可能なできるだけ高い機密度であることを証明する．