×
丹尼尔·斯科佩;丹尼尔·赫丁;安德烈·萨贝尔菲尔德

SeLINQ：跨应用程序数据库边界跟踪信息。 （英语） Zbl 1346.68065号

2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。25-38 (2014).

引用于2文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68甲18 函数编程和lambda演算
第68页，共15页 数据库理论
68问题65 抽象数据类型；代数规范

关键词：

端到端安全;信息流;语言集成查询;静态分析

引文：

Zbl 1323.68102号

软件：

红宝石;流量凸轮;Jif公司;MS SQL服务器;PostgreSQL;全球工作时间;MySQL数据库;塞林克;寓言
PDF格式BibTeX公司 XML格式引用
\textit{D.Schoepe}等人，in：第19届ACM SIGPLAN函数编程国际会议论文集，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。25-38（2014；Zbl 1346.68065）
全文： 内政部