Verification and synthesis of firewalls using SAT and QBF
Publication Year
2012
Type
Conference Paper
Conference Name
Network Protocols (ICNP), 2012 20th IEEE International Conference on
Publisher
IEEE