On Flow-Sensitive Security Types
flow-sensitive な情報流解析のための型システムの提案。型システムとしては straightforward だと思ったけど、soundness とか completeness とかだんだん議論についていけなくなったので、もう一度読み直したい。
author="Sebastian Hunt and David Sands",
title="{On Flow-Sensitive Security Types}",
booktitle="POPL 2006",
publisher="ACM Press",
pages="79--90",
year="2006"