compiler/edu.cornell.cs.apl.viaduct.security/Label/confidentialityComponent

confidentialityComponent

val confidentialityComponent: FreeDistributiveLattice<Principal>
Content copied to clipboard

The confidentiality component in the underlying lattice.

Unlike confidentiality, the result is not a Label.