compiler/edu.cornell.cs.apl.viaduct.security/Label/Companion/fromIntegrity

fromIntegrity

@JvmStatic
fun fromIntegrity(integrity: FreeDistributiveLattice<Principal>): Label
Content copied to clipboard

Constructs a label given only the integrity component. Confidentiality is set to minimum.