Thisallows, for example, enforcing security properties, such as requir-ing traffic to pass through a middlebox. In addition, Snowcap allowsrequiring that properties are satisfied under any link failures.