Verifying Security Policies using Host Attributes

Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer +3

For the formal verification of a network security policy, it is crucial to express the verification goals. These formal goals, called security invariants, should be easy to express…