Dynamic enforcement of dynamic policies
Paper i proceeding, 2014

LIO is a dynamic information-flow control system embedded in Haskell that uses a runtime monitor to enforce noninterference. The monitor is written as a library, requiring no changes to the runtime. We propose to extend LIO with a state component, allowing us to enforce not only noninterference but also information-flow policies that change while the program is running.

Författare

Pablo Buiras

Chalmers, Data- och informationsteknik, Programvaruteknik

Bart van Delft

Chalmers, Data- och informationsteknik, Programvaruteknik

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 8788 275-276

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1109/CSF.2011.15

ISBN

978-3-319-11598-6