Refactoring Programs to Secure Information Flows
情報流解析に基づくリファクタリングの提案。機密データを扱うコンポーネントを分離し、境界を越えるところで declassify する。論文では例とリファクタリングする際に問題となる点に対して考察が行われているだけで、具体的なリファクタリングの定義などは何もなし。
author="Scott F. Smith and Mark Thober",
title="{Refactoring Programs to Secure Information Flows}",
booktitle="PLAS 2006",
publisher="ACM Press",
pages="75--84",
year="2006"