Building secure systems with LIO (demo)

Special Interest Group on Programming Languages, pp. 93-94, 2014.

Cited by: 0|Views18
EI

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments