Building secure systems with LIO (demo)
Paper i proceeding, 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 enforces these policies even in the presence of untrusted code.

hails

security

web application

decentralized information flow control

lio

dclabels

Författare

D. Stefan

Stanford University

Amit Levy

Stanford University

Alejandro Russo

Chalmers, Data- och informationsteknik, Programvaruteknik

David Mazières

Stanford University

Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium

93-94

Ämneskategorier

Programvaruteknik

DOI

10.1145/2633357.2633371

ISBN

978-145033041-1

Mer information

Senast uppdaterat

2018-03-06