Precise, dynamic information flow for database-backed applications
Precise, dynamic information flow for database-backed applications
复制标题
数据库支持的应用程序的精确、动态信息流
DOI：
10.1145/2908080.2908098
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Stephen Chong
中科院分区：
文献类型：
--
作者：
Jean Yang;Travis Hance;Thomas H. Austin;Armando Solar;C. Flanagan;Stephen Chong
我们提出了一种在应用程序和数据库之间进行动态信息流控制的方法。我们的方法减少了所需的策略代码数量，在应用程序和数据库中产生正式保证，与现有的关系数据库实现一起使用，并为现实应用程序范围。在本文中，我们提出了一个编程模型，该模型从应用程序代码和数据库查询中取消信息流策略，一种基础$^JDB $核心语言的动态语义以及对语义的终止不敏感的非干预和政策合规性证明。我们在Python Web框架的Jacqueline中实施了这些想法，并通过三个申请案例研究来证明可行性：课程经理，健康记录系统和用于开展学术研讨会的会议管理系统。我们表明，与手工编码的策略检查相比，Jacqueline应用程序具有1）较小的受信任计算基础，2）策略代码较少，以及2）合理的，通常可以忽略不计的其他开销。
We present an approach for dynamic information flow control across the application and database. Our approach reduces the amount of policy code required, yields formal guarantees across the application and database, works with existing relational database implementations, and scales for realistic applications. In this paper, we present a programming model that factors out information flow policies from application code and database queries, a dynamic semantics for the underlying $^JDB$ core language, and proofs of termination-insensitive non-interference and policy compliance for the semantics. We implement these ideas in Jacqueline, a Python web framework, and demonstrate feasibility through three application case studies: a course manager, a health record system, and a conference management system used to run an academic workshop. We show that in comparison to traditional applications with hand-coded policy checks, Jacqueline applications have 1) a smaller trusted computing base, 2) fewer lines of policy code, and 2) reasonable, often negligible, additional overheads.
解释其工作的函数式程序
DOI：
10.1145/2364527.2364579
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Perera R
通讯作者：
Perera R