dclabel
Version 0.9.0.0 revision 0 uploaded by DeianStefan.
Package meta
- Synopsis
- This packge is deprecated. See the the "LIO.DCLabel" in the "lio" package.
- Description
The DC Label (DCLabel) library provides an information flow control label format in the form of conjunctions of disjunctions of principals. Most code should import module DCLabel; trusted code may additionally import DCLabel.Privs.TCB. The core functionality of the library is documented in DCLabel.Core, while the small EDSL used to create labels is documents in DCLabel.NanoEDSL.
- Author
- Hails Team
- Bug reports
- n/a
- Category
- Security
- Copyright
- (c) 2012 Hails team
- Homepage
- n/a
- Maintainer
- Hails Team <hails-team at scs dot stanford dot edu>
- Package URL
- n/a
- Stability
- experimental