@inproceedings{92211,
  author = {Shuyuan Zhang and Abdulrahman Mahmoud and Sharad Malik and Sanjai Narain},
  title = {Verification and synthesis of firewalls using SAT and QBF},
  year = {2012},
  journal = {Network Protocols (ICNP), 2012 20th IEEE International Conference on},
  pages = {1{\textendash}6},
  publisher = {IEEE},
  language = {eng},
}