Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain. Verification and synthesis of firewalls using SAT and QBF. In 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.