dclabel-eci11-0.2: Dynamic labels to assign confidentiality and integrity levels in scenarios of mutual distrust

Index

./\.DCLabel.NanoEDSL, DCLabel.Safe
.\/.DCLabel.NanoEDSL, DCLabel.Safe
<>DCLabel.NanoEDSL, DCLabel.Safe
><DCLabel.NanoEDSL, DCLabel.Safe
allLabelDCLabel.Core
and_labelDCLabel.Core
bottomDCLabel.Core, DCLabel.Safe
CanActForDCLabel.Core
canActForDCLabel.Core, DCLabel.Safe
canflowtoDCLabel.Core, DCLabel.Safe
canflowto_pDCLabel.Core, DCLabel.Safe
cleanLabelDCLabel.Core
ConjDCLabel.Core
conjDCLabel.Core
createPrivTCBDCLabel.Core
DCLabelDCLabel.Core, DCLabel.Safe
delegatePrivDCLabel.Core, DCLabel.Safe
DisjDCLabel.Core
disjDCLabel.Core
emptyLabelDCLabel.Core
ILabelDCLabel.Integrity
impliesDCLabel.Core
integrityDCLabel.Core, DCLabel.Safe
joinDCLabel.Core, DCLabel.Safe
LabelDCLabel.Core, DCLabel.Safe
labelDCLabel.Core
LatticeDCLabel.Core
meetDCLabel.Core, DCLabel.Safe
MkConjDCLabel.Core
MkDCLabelDCLabel.Core
MkDisjDCLabel.Core
MkILabelDCLabel.Integrity
MkLabelDCLabel.Core
MkLabelAllDCLabel.Core
MkPrincipalDCLabel.Core
MkSLabelDCLabel.Secrecy
MkTCBPrivDCLabel.Core
nameDCLabel.Core
newDCDCLabel.NanoEDSL, DCLabel.Safe
newPrivDCLabel.NanoEDSL, DCLabel.Safe
newTCBPrivDCLabel.NanoEDSL, DCLabel.Safe
noPrivDCLabel.Core
or_labelDCLabel.Core
PrettyShowDCLabel.PrettyShow
prettyShowDCLabel.PrettyShow
PrincipalDCLabel.Core
principalDCLabel.Core, DCLabel.Safe
PrivDCLabel.Core, DCLabel.Safe
privDCLabel.Core
pShowDCLabel.PrettyShow
RelaxedLatticeDCLabel.Core
rootPrivTCBDCLabel.Core
secrecyDCLabel.Core, DCLabel.Safe
SLabelDCLabel.Secrecy
TCBPrivDCLabel.Core, DCLabel.Safe
ToLNFDCLabel.Core
toLNFDCLabel.Core
topDCLabel.Core, DCLabel.Safe