<< 本 | ホーム | 本 >>

A Type System for Quantified Information-Flow Security in Java-Like Languages

Middleweight Javaに対して量的情報流解析を行う型システムを提案。式や文に対して漏洩する情報量の上限と下限を求める。MJの表示的意味論を定義し、健全性(型システムが求める情報量が確かに意味論から得られること)を証明。

SFI16

タグ : ,



コメント追加 トラックバック送信