Building secure systems with LIO (demo)
Special Interest Group on Programming Languages, pp. 93-94, 2014.
LIO is a decentralized information flow control (DIFC) system, implemented in Haskell. In this demo proposal, we give an overview of the LIO library and show how LIO can be used to build secure systems. In particular, we show how to specify high-level security policies in the context of web applications, and describe how LIO automatically...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)