lio-fs

Labeled File System interface for LIO

Latest on Hackage:0.0.1.2@rev:1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

LicenseRef-GPL licensed by Hails team
Maintained by Hails team <hails at scs dot stanford dot edu>

A very simple file system interface for LIO. Labels are associated with files and directories in the form of extended attributes. This library exposes a simple API for on files and directories that abides by information flow control: a label on the file protects its contents, while a directory label protects the containing files' attributes (names and labels).

See LIO.FS.TCB for a description of the filestore implementation and LIO.FS.Simple for a description of the actual API.

This library is still under development, use with care.