Sunbelt Kerio Personal Firewall User Guide
Athena FirePAC for firewall analysis
Systematic, error-free firewall programming
Pace IT - Client Networking (Part 3)
Firewall Query Engine and Firewall Comparison Engine Mohamed Gouda Alex X. Liu Computer Science Department The University of Texas at Austin.