MAC, A Verified Static Information-Flow Control Library

Journal of Logical and Algebraic Methods in Programming, pp. 148-180, 2017.

被引用3|浏览29

摘要

The programming language Haskell plays a unique, privileged role in information-flow control (IFC) research: it is able to enforce information security via libraries. Many state-of-the-art IFC libraries (e.g., LIO and HLIO) support a variety of advanced features like mutable data structures, exceptions, and concurrency, whose subtle inter...更多

代码

数据

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

 

标签
评论