lio-0.0.2: Labeled IO Information Flow Control Library

Index - P

pcompareLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PEQLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PGTLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PLTLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PNELIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
POrdLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
POrderingLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PrincipalLIO.DCLabel
principalLIO.DCLabel
PrivLIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PrivTCBLIO.TCB
putTCBLIO.TCB