MAC, A Verified Static Information-Flow Control Library
Journal of Logical and Algebraic Methods in Programming, pp. 148-180, 2017.
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...更多
下载 PDF 全文 (上传PDF)