Flexible dynamic information flow control in the presence of exceptions

JOURNAL OF FUNCTIONAL PROGRAMMING, 2017.

被引用0|浏览3

摘要

We describe a language-based, dynamic information flow control (IFC) system called LIO. Our system presents a new design point for IFC, influenced by the challenge of implementing IFC as a Haskell library, as opposed to the more typical approach of modifying the language runtime system. In particular, we take a coarse-grained, floating-la...更多

代码

数据

24小时获取PDF
引用
您的评分 :
0

 

标签
评论