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

Package edu.cornell.cs.apl.viaduct.security

Types

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.

LabelAnd

data class LabelAnd(lhs: LabelExpression, rhs: LabelExpression) : LabelExpression

LabelBottom

object LabelBottom : LabelExpression

LabelConfidentiality

data class LabelConfidentiality(value: LabelExpression) : LabelExpression

LabelExpression

sealed class LabelExpression : PrettyPrintable

LabelIntegrity

data class LabelIntegrity(value: LabelExpression) : LabelExpression

LabelJoin

data class LabelJoin(lhs: LabelExpression, rhs: LabelExpression) : LabelExpression

LabelLiteral

data class LabelLiteral(name: String) : LabelExpression

LabelMeet

data class LabelMeet(lhs: LabelExpression, rhs: LabelExpression) : LabelExpression

LabelOperatorStyle

object LabelOperatorStyle : Style

The display style of Label specific operators such as Label.confidentiality.

LabelOr

data class LabelOr(lhs: LabelExpression, rhs: LabelExpression) : LabelExpression

LabelParameter

data class LabelParameter(name: String) : LabelExpression

LabelTop

object LabelTop : LabelExpression

Principal

data class Principal(name: String) : Comparable<Principal> , PrettyPrintable

An actor with an associated security label.

PrincipalStyle

object PrincipalStyle : Style

The display style of Principals.

TrustLattice

interface TrustLattice<T : TrustLattice<T>?>

A lattice whose elements are interpreted as principals.