compiler/edu.cornell.cs.apl.viaduct.security.solver/LabelConstant/confidentiality

confidentiality

open override fun confidentiality(): LabelConstant
Content copied to clipboard

Term that corresponds to performing Label.confidentiality.