@techreport{oai:ipsj.ixsq.nii.ac.jp:00207103,
 author = {小川, 愛理 and 塩谷, 亮太},
 issue = {3},
 month = {Oct},
 note = {情報機器の発展に伴い，様々な個人情報や機密情報がコンピュータ上で扱われるようになると共に，それらが外部に漏洩する情報漏洩による被害が増加している．そのような情報漏洩を防ぐために動的インフォメーションフロー追跡 (DIFT: Dynamic Information Flow Tracking) と呼ばれる手法を応用した技術が提案されている．DIFT はランタイム環境やハードウェアの上に実装され，それらの上で情報のフローを追跡する手法である．DIFT を使用した情報漏洩防止手法では，守りたい重要なデータに taint と呼ばれる情報を付加し，依存関係にある演算間で taint をもつデータのフローを追跡して taint を伝搬させる．フロー追跡の結果，もし伝搬された taint を持つデータが外部に出力されようとしている場合には，それを重要な情報の漏洩として検出する．しかし既存手法では直接の依存関係にない条件分岐などを介した暗黙的フローを適切に追跡できず，情報漏洩を正しく検出できないか，誤検出を起こしてしまうという問題があった．本論文では，taint 情報をその有無の二値ではなく，有限の範囲を持つ情報量として扱う手法を提案する．提案手法ではフローごとに入力から出力に伝わる情報量を動的に算出する．これにより，情報量の大小に基づく危険度の判定や，情報量の蓄積による漏洩の防止を実現し，より精度の高い情報漏洩の検出を目指す．},
 title = {情報量に着目したインフォメーションフロー追跡による情報漏洩防止手法の検討},
 year = {2020}
}