Acyclic Constraints

• Constraint graph is a directed acyclic graph

• Start from leaves (security levels)

• Process nodes in topological order

• “Synchronize” on complex constraints

Linear

Previous slide

Next slide

Back to first slide

View graphic version