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

Label

data class Label(confidentialityComponent: FreeDistributiveLattice<Principal>, integrityComponent: FreeDistributiveLattice<Principal>) : Lattice<Label> , TrustLattice<Label> , PrettyPrintable

A lattice for information flow security. This is a standard bounded lattice that additionally supports confidentiality and integrity projections. Information flows from less restrictive contexts to more restrictive ones.

top, bottom, meet, and join talk about information flow.

weakest, strongest, and, and or talk about trust.

Constructors

Label

fun Label(confidentialityComponent: FreeDistributiveLattice<Principal>, integrityComponent: FreeDistributiveLattice<Principal>)

Types

Companion

object Companion

Functions

actsFor

open infix override fun actsFor(that: Label): Boolean

Decide if this is trusted to enforce that's security policies.

and

open infix override fun and(that: Label): Label

The least powerful principal that can act for both this and that. This denotes a conjunction of authority.

confidentiality

fun confidentiality(): Label

The confidentiality component.

flowsTo

infix fun flowsTo(that: Label): Boolean

Check if information flow from this to that is safe.

integrity

fun integrity(): Label

The integrity component.

join

open infix override fun join(that: Label): Label

The least upper bound of this and that.

lessThanOrEqualTo

open override fun lessThanOrEqualTo(that: Label): Boolean

Returns true if this is ordered before that.

meet

open infix override fun meet(that: Label): Label

The greatest lower bound of this and that.

open infix override fun or(that: Label): Label

The most powerful principal both this and that can act for. This denotes a disjunction of authority.

swap

fun swap(): Label

Switch the confidentiality and integrity components.

toDocument

open override fun toDocument(): Document

toString

open override fun toString(): String

Properties

confidentialityComponent

val confidentialityComponent: FreeDistributiveLattice<Principal>

The confidentiality component in the underlying lattice.

integrityComponent

val integrityComponent: FreeDistributiveLattice<Principal>

The integrity component in the underlying lattice.