型システムによる情報流解析のエラーをわかりやすくしようという論文。アプローチは、制約条件の集合が充足可能か求めるアルゴリズムの工夫。各変数の機密度の初期値をボトムにして必要なだけ引き上げるけど、引き上げる時に影響した変数を記録しておいて、失敗したらその変数が原因だとみなす。アルゴリズムの健全性と完全性を示して、あとは例。

author="Zhenyue Deng and Geoffrey Smith",
title="{Type Inference and Informative Error Reporting for Secure Information Flow}",
booktitle="ACM-SE 44",
publisher="ACM",
pages="543--548",
year="2006"

http://doi.acm.org/10.1145/1185448.1185567

コメント追加

投稿者 kw : 2009/04/17 20:37:00 JST #

「知」の欺瞞、Alan Sokal, Jean Bricmont 著、田崎晴明、大野克嗣、堀茂樹 訳、岩波書店

読了。

コメント追加

投稿者 kw : 2009/04/17 1:11:00 JST #