丹尼尔·斯科佩;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 SeLINQ:跨应用程序数据库边界跟踪信息。 (英语) 兹比尔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(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) 全文: 内政部