Building secure systems with LIO (demo)

Deian Stefan; Amit Levy; Alejandro Russo; David Mazières

doi:10.1145/2633357.2633371

Building secure systems with LIO (demo)

Deian Stefan, Amit Levy, Alejandro Russo, David Mazières

Research output: Contribution to journal › Article › peer-review

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 enforces these policies even in the presence of untrusted code.

Original language	English (US)
Pages (from-to)	93-94
Number of pages	2
Journal	ACM SIGPLAN Notices
Volume	49
Issue number	12
DOIs	https://doi.org/10.1145/2633357.2633371
State	Published - Sep 3 2014
Externally published	Yes

All Science Journal Classification (ASJC) codes

General Computer Science

Keywords

dclabels
decentralized information flow control
hails
lio
security
web application

Access to Document

10.1145/2633357.2633371

Cite this

@article{b3ca335118c14c39b79be079b5451331,

title = "Building secure systems with LIO (demo)",

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 enforces these policies even in the presence of untrusted code.",

keywords = "dclabels, decentralized information flow control, hails, lio, security, web application",

author = "Deian Stefan and Amit Levy and Alejandro Russo and David Mazi{\`e}res",

note = "Publisher Copyright: {\textcopyright} 2014 Owner/Author.",

year = "2014",

month = sep,

day = "3",

doi = "10.1145/2633357.2633371",

language = "English (US)",

volume = "49",

pages = "93--94",

journal = "ACM SIGPLAN Notices",

issn = "1523-2867",

publisher = "Association for Computing Machinery (ACM)",

number = "12",

}

TY - JOUR

T1 - Building secure systems with LIO (demo)

AU - Stefan, Deian

AU - Levy, Amit

AU - Russo, Alejandro

AU - Mazières, David

PY - 2014/9/3

Y1 - 2014/9/3

N2 - 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.

AB - 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.

KW - dclabels

KW - decentralized information flow control

KW - hails

KW - lio

KW - security

KW - web application

UR - http://www.scopus.com/inward/record.url?scp=85124657814&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85124657814&partnerID=8YFLogxK

U2 - 10.1145/2633357.2633371

DO - 10.1145/2633357.2633371

M3 - Article

AN - SCOPUS:85124657814

SN - 1523-2867

VL - 49

SP - 93

EP - 94

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 12

ER -

Building secure systems with LIO (demo)

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this