Towards High-level Configuration Languages


How to specify the information flow lattice?
Must be intuitive.
Must express varying levels of detail (i.e., AS-level, session-level, prefix-level, etc.)
Must express positive requirements, too.

Expressing intended behavior will improve routing.
Verification: check existing configurations against intent.
Synthesis: generate configurations according to intent.