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

Index

./\.DCLabel.Trustworthy, DCLabel.Untrustworthy
.\/.DCLabel.Trustworthy, DCLabel.Untrustworthy
<>DCLabel.Trustworthy, DCLabel.Untrustworthy
bottomDCLabel.Trustworthy, DCLabel.Untrustworthy
canflowtoDCLabel.Trustworthy, DCLabel.Untrustworthy
canflowto_pDCLabel.Trustworthy, DCLabel.Untrustworthy
ConjunctionOfDCLabel.Trustworthy, DCLabel.Untrustworthy
createPrivDCLabel.Trustworthy
DCLabelDCLabel.Trustworthy, DCLabel.Untrustworthy
DisjunctionOfDCLabel.Trustworthy, DCLabel.Untrustworthy
integrityDCDCLabel.Trustworthy, DCLabel.Untrustworthy
isPrincipalDCLabel.Trustworthy, DCLabel.Untrustworthy
joinDCLabel.Trustworthy, DCLabel.Untrustworthy
LabelDCLabel.Trustworthy, DCLabel.Untrustworthy
labelToListDCLabel.Trustworthy, DCLabel.Untrustworthy
LatticeDCLabel.Trustworthy, DCLabel.Untrustworthy
meetDCLabel.Trustworthy, DCLabel.Untrustworthy
newDCDCLabel.Trustworthy, DCLabel.Untrustworthy
ownDCLabel.Trustworthy, DCLabel.Untrustworthy
PrincipalDCLabel.Trustworthy, DCLabel.Untrustworthy
principalDCLabel.Trustworthy, DCLabel.Untrustworthy
PrivDCLabel.Trustworthy, DCLabel.Untrustworthy
privToLabelDCLabel.Trustworthy, DCLabel.Untrustworthy
secrecyDCDCLabel.Trustworthy, DCLabel.Untrustworthy
singletonDCLabel.Trustworthy, DCLabel.Untrustworthy
topDCLabel.Trustworthy, DCLabel.Untrustworthy