Loading...
Please wait, while we are loading the content...
Similar Documents
gineering]: Protection Mechanisms General Terms Security, Languages
| Content Provider | CiteSeerX |
|---|---|
| Author | Stefan, Deian |
| Abstract | LIO is an information flow control (IFC) system. In this demo, we give an overview of the Haskell LIO library and show how LIO can be used to build secure systems. In particular, we show how to build secure web applications with high-level data-security policies and describe how LIO automatically enforces these policies. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Protection Mechanism General Term Security Information Flow Control Haskell Lio Library High-level Data-security Policy Secure System Secure Web Application |
| Content Type | Text |