Our interlace–weave calculus builds on this insight, coupling the lattice ordering of security levels with graph-based flows. By interlacing these concepts, we can formally ensure that network flows ...