State-aware Network Access Management for Software-Defined Networks
A model of stateful firewalls and its properties