@第{zbMATH05697024条，作者={Li，Peng和Zdancewic，Steve}，标题={安全信息流箭头}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积＝{411}，数字={19}，Pages={1974-1994}，年份={2010}，语言={英语}，DOI={10.1016/j.tcs.2010.01.025}，关键词={68N15}，URL={repository.upenn.edu/cis_papers/557}，zbMATH={5697024}，Zbl={1200.68063}}