StreamNF: Performance and Correctness for Stateful Chained NFs
PGA: Using Graphs to Express and Automatically Reconcile Network Policies