Verification and Synthesis of Firewalls Using SAT and QBF

Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, and Sanjai Narain

Published in International Conference on Network Protocols, 2012

Citation: Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, and Sanjai Narain. 2012. "Verification and Synthesis of Firewalls Using Sat and QBF," 2012 20th IEEE International Conference on Network Protocols (ICNP), Austin, TX, 2012, pp. 1-6.

Acceptance Rate: 22.9%

Abstract  /  Full Text