JSLINQ：跨层构建安全应用程序

现代web和移动应用程序是融合了不同语言、组件和平台的复杂实体。这些丰富的功能跨越应用程序层和组件，其中一些来自第三方，需要付出大量努力来确保单个组件的不安全性不会导致整个系统不安全。截至目前，大多数已知方法都无法确保跨层的安全性。

本文通过跟踪通过客户端、服务器和底层数据库的信息流，提出了一个端到端安全框架。该框架利用同构元编程为不同组件编程提供了统一的语言。我们利用杠杆。来自F#语言的NET元编程功能，从而支持对数据库的语言集成查询，以及在客户端和服务器上的互操作异构执行。我们为具有可变存储的函数语言开发了一个安全类型系统形式的安全实施核心，并证明它是正确的。基于该核心，我们开发了JSLINQ，这是WebSharper库的一个扩展，用于跟踪信息流。我们通过一个密码表、两个基于位置的服务、一个电影租赁数据库、一个在线战舰游戏和一个好友查找应用程序的案例研究来演示JSLINQ的功能。我们的实验表明，JSLINQ对于实现高保证的web和移动应用程序是实用的。