Learn how to automate local and global rules in distributed firewall networks through a conference talk that explores the integration of Software Defined Networking (SDN) and SMT solvers. Discover techniques for incorporating IDS systems like Snort while maintaining network performance and avoiding loops. Explore an open-source approach to developing and deploying next-generation security appliances, with a focus on creating scalable, low-cost distributed firewall solutions that can adapt to growing network demands.