1. Complete analysis of configuration rules to guarantee reliable network security policies
2. Aggregating and Deploying Network Access Control Policies
3. Language-Independent Synthesis of Firewall Policies
4. Martin Casado , Michael J Freedman , Justin Pettit , Jianying Luo , Nick McKeown , and Scott Shenker . 2007 . Ethane: Taking control of the enterprise. ACM SIGCOMM computer communication review , Vol. 37 , 4 (2007), 1--12. Martin Casado, Michael J Freedman, Justin Pettit, Jianying Luo, Nick McKeown, and Scott Shenker. 2007. Ethane: Taking control of the enterprise. ACM SIGCOMM computer communication review , Vol. 37, 4 (2007), 1--12.
5. Cisco. [n.d.]. Cisco Catalyst 9400 Series Switches . https://www.cisco.com/c/en/us/products/switches/catalyst-9400-series-switches/index.html# benefits Cisco. [n.d.]. Cisco Catalyst 9400 Series Switches . https://www.cisco.com/c/en/us/products/switches/catalyst-9400-series-switches/index.html# benefits