compiler/io.github.aplcornell.viaduct.security/SecurityLattice/integrity

integrity

fun integrity(bounds: BoundedLattice<T>): SecurityLattice<T>

Returns an element that represents the integrity component.

Keeps integrity the same while setting confidentiality to the weakest level.