We will be performing routine ERA maintenance starting 3PM Tuesday Feb 19 until 3PM Wednesday Feb 20. ERA searches and downloads will perform as usual, but the "Deposit" function will be suspended during the maintenance period. When the work is complete, we'll remove this notice. Thanks for your understanding!
SearchSkip to Search Results
We identify 13 problems whose solutions can significantly enhance our ability to design and analyze firewalls and other packet classifiers. These problems include the firewall equivalence problem, the firewall redundancy problem, the firewall verification problem, and the firewall completeness...