Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
ライブラリも考慮して情報流解析の型推論をできるようにする、という論文。セキュリティレベルをパラメータ化したり、メソッドのシグネチャを取得する部分を工夫したり。これの元になってる論文はよく知ってるけど、順当な進化という感じ。ただ、型付け規則の細かいところまでは追いきれず。
author="Qi Sun and Anindya Banerjee and David A. Naumann",
title="{Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language}",
booktitle="Proceedings of the Eleventh International Static Analysis Symposium",
publisher="Springer",
volume="3148",
series="LNCS",
pages="84--99",
year="2004"