lio-0.9.1.1: Labeled IO Information Flow Control Library

Index - C

callGateLIO.Gate, LIO
canFlowToLIO.Label, LIO
canFlowToPLIO.Privs, LIO
CanFlowToViolationLIO.Core, LIO
catchLIOLIO.Core, LIO
catchLIOPLIO.Core, LIO
catchTCBLIO.TCB
Clause 
1 (Type/Class)LIO.DCLabel.Core, LIO.DCLabel
2 (Data Constructor)LIO.DCLabel.Core
clauseLIO.DCLabel.Core, LIO.DCLabel
ClearanceViolationLIO.Core, LIO
ComponentLIO.DCLabel.Core, LIO.DCLabel
createDirectoryLIO.Handle
createDirectoryPLIO.Handle
createDirectoryTCBLIO.FS.TCB
createFileTCBLIO.FS.TCB
CurrentLabelViolationLIO.Core, LIO