数据库支持的应用程序的精确、动态信息流

数据库支持的应用程序的精确、动态信息流(中文6000字,英文PDF)
摘要
我们提出了一种跨应用程序和数据库进行动态信息流控制的方法。我们的方法减少了所需的策略代码数量，在应用程序和数据库中生成正式的保证，与现有的相关数据库实现协同工作，并可扩展到实际的应用。在本文中，我们提出了一个从应用程序代码和数据库查询中考虑信息流策略的编程模型，为基础的λJDB核心语言提供了动态语义，并证明了语义的终止不敏感、不干涉和策略遵从性。我们在Jacqueline（一个python Web框架）中实现了这些想法，并通过三个应用程序案例研究来证明其可行性：一个课程管理器、一个健康记录系统和一个用于运行学术研讨会的会议管理系统。我们表明，与传统的手工编码策略检查的应用程序相比，Jacqueline应用程序具有1）更小的可信计算基础，2）更少的策略代码行，以及2）合理的、通常可以忽略的日常开支。
类别和主题描述 D.3.3[编程语言]：语言结构和特性