<< 5月 2008 | ホーム | 7月 2008 >>

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"

タグ : ,