lio-0.0.2: Labeled IO Information Flow Control Library

Index - W

wguardLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
wguardPLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
withClearanceLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
withDefaultsLIO.HiStar
writeFileLIO.Handle, LIO.LIO
writeFilePLIO.Handle, LIO.LIO
writeFilePRLIO.Handle, LIO.LIO
writeLIORefLIO.LIORef.TCB, LIO.LIORef.Safe, LIO.LIORef, LIO.LIO
writeLIORefPLIO.LIORef.TCB, LIO.LIORef.Safe, LIO.LIORef, LIO.LIO
writeLIORefTCBLIO.LIORef.TCB
WriteModeLIO.Handle, LIO.LIO