Towards Intent-based Configuration


Verification requires a specification of intent,
which can inspire configuration language design.

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.