Companion

object Companion

Functions

fromConfidentiality
Link copied to clipboard
fun fromConfidentiality(confidentiality: FreeDistributiveLattice<Principal>): Label

Constructs a label given only the confidentiality component. Integrity is set to minimum.

fromIntegrity
Link copied to clipboard
fun fromIntegrity(integrity: FreeDistributiveLattice<Principal>): Label

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

invoke
Link copied to clipboard
operator fun invoke(principal: Principal): Label

Returns the label representing the authority of the given principal.

Properties

bottom
Link copied to clipboard
val bottom: Label

The least restrictive data policy, i.e. public and trusted.

strongest
Link copied to clipboard
val strongest: Label

The most powerful principal, i.e. secret and trusted.

top
Link copied to clipboard
val top: Label

The most restrictive data policy, i.e. secret and untrusted.

weakest
Link copied to clipboard
val weakest: Label

The least powerful principal, i.e. public and untrusted.