@第{zbMATH07300903条，作者={Christensen、Michael和McMahan、Joseph和Nichols、Lawton和Roesch、Jared和Sherwood、Timothy和Hardekopf、Ben}，标题＝{通过完整性类型和验证的组装的安全功能系统}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={851}，页码={39--61}，年份={2021}，语言={英语}，DOI={10.1016/j.tcs.2020.09.039}，关键词={68M07,68N18,68Q60}，zbMATH={7300903}，Zbl={1477.68030}}