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

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

Types

AtomicLabelTerm

abstract class AtomicLabelTerm : LabelTerm

An atomic term such as a constant or a variable but a join.

ConstraintSolution

typealias ConstraintSolution = Map<LabelVariable, Label>

ConstraintSolver

class ConstraintSolver<T : Throwable>

Given a set of information flow constraints, finds a label assignment to all variables that minimizes the trust assigned to each variable (if one exists).

LabelConstant

data class LabelConstant(value: Label) : AtomicLabelTerm

Terms representing literal label constants.

LabelTerm

abstract class LabelTerm

A symbolic representation of a label expression.

LabelVariable

data class LabelVariable(confidentialityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>, integrityComponent: AtomicTerm<FreeDistributiveLattice<Principal>>) : AtomicLabelTerm

A stand-in for an unknown label. The solver will assign an actual value to each instance.