@收款{zbMATH06631178，作者={Schoepe、Daniel和Hedin，Daniel and Sabelfeld，Andrei}，Title={{SeLINQ}:跨应用程序数据库边界跟踪信息}，BookTitle={2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN函数式编程国际会议论文集，国际标准图书编号={978-1-4503-2873-9}，页码={25--38}，年份={2014}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2628136.2628151}，关键词={68N30,68N18,68P15,68Q65}，zbMATH={6631178}，Zbl={1346.68065}}