CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Building secure systems with LIO (demo)

D. Stefan ; A. Levy ; Alejandro Russo (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; D. Mazières
Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium p. 93-94. (2014)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: dclabels , decentralized information flow control , hails , lio , security , web application

Denna post skapades 2014-10-07. Senast ändrad 2015-09-17.
CPL Pubid: 203807


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)



Chalmers infrastruktur