Gradual Information Flow Typing
Gradual Information Flow Typing
复制标题
渐进式信息流打字
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
C. Flanagan
中科院分区：
文献类型：
--
作者：
Tim Disney;C. Flanagan
我们提出了一种方法来支持安全脚本的逐步演变，通过形式化的简单类型的lambda演算，提供信息流结构的扩展。这些结构允许最初不安全的程序通过有针对性的重构来进化，并通过强制转换提供动态信息流保证，以及通过标记类型提供静态信息流保证。
We present a method to support the gradual evolution of secure scripts by formalizing an extension of the simply-typed lambda calculus that provides information flow constructs. These constructs allow initially insecure programs to evolve via targeted refactoring and to provide dynamic information flow guarantees via casts, as well as static information flow guarantees via labeled types.