compiler/io.github.aplcornell.viaduct.security.solver

Package-level declarations

Types

ComponentVariable

sealed class ComponentVariable<V>

A constraint variable for the confidentiality or the integrity component of a SecurityLattice element.

typealias Constraint<C, V, T> = io.github.aplcornell.viaduct.algebra.solver.Constraint<C, io.github.aplcornell.viaduct.security.solver.ComponentVariable<V>, T>

A SecurityLattice constraint.

ConstraintSolution

class ConstraintSolution<C : Lattice<C>, V> : Function1<V, SecurityLattice<C>>

A solution to a system of constraints. Maps variables to values.

ConstraintSystem

class ConstraintSystem<C : HeytingAlgebra<C>, V, T : Throwable>(constraints: Iterable<Constraint<C, V, T>>, bounds: BoundedLattice<C>, delegationContext: LatticeCongruence<C>)

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

typealias Term<C, V> = SecurityLattice<Term<C, ComponentVariable<V>>>

Represents a SecurityLattice expression that can appear in Constraints.

Functions

confidentialityFlowsTo

fun <C : HeytingAlgebra<C>, V, T> Term<C, V>.confidentialityFlowsTo(that: Term<C, V>, bounds: BoundedLattice<C>, failWith: (SecurityLattice<C>, SecurityLattice<C>) -> T): Iterable<Constraint<C, V, T>>

fun <C : HeytingAlgebra<C>, V, T> Term<C, V>.flowsTo(that: Term<C, V>, bounds: BoundedLattice<C>, failWith: (SecurityLattice<C>, SecurityLattice<C>) -> T): Iterable<Constraint<C, V, T>>

Returns a constraint that represents [this] flowsTo [that].

integrityFlowsTo

fun <C : HeytingAlgebra<C>, V, T> Term<C, V>.integrityFlowsTo(that: Term<C, V>, bounds: BoundedLattice<C>, failWith: (SecurityLattice<C>, SecurityLattice<C>) -> T): Iterable<Constraint<C, V, T>>

fun <C : Lattice<C>, V> term(variable: V): Term<C, V>

Embeds variable as a Term.

fun <C : Lattice<C>, V> term(constant: SecurityLattice<C>): Term<C, V>

Embeds constant as a Term.