Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118362475> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2118362475 endingPage "2809" @default.
- W2118362475 startingPage "2800" @default.
- W2118362475 abstract "Firewalls are important elements of enterprise security and have been the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall mainly depends on the quality of its policy (i.e., configuration). However, due to the lack of tools for verifying and troubleshooting firewall policies, most firewalls on the Internet have policy errors. A firewall policy can error either create security holes that will allow malicious traffic to sneak into a private network or block legitimate traffic disrupting normal traffic, which in turn could lead to diestrous consequences. We propose a firewall verification and troubleshooting tool in this paper. Our tool takes as input a firewall policy and a given property, then outputs whether the policy satisfies the property. Furthermore, in the case that a firewall policy does not satisfy the property, our tool outputs which rules cause the verification failure. This provides firewall administrators a basis for how to fix the policy errors. Despite of the importance of verifying firewall policies and finding troublesome rules, they have not been explored in previous work. Due to the complex nature of firewall policies, designing algorithms for such a verification and troubleshooting tool is challenging. In this paper, we designed and implemented a verification and troubleshooting algorithm using decision diagrams, and tested it on both real-life firewall policies and synthetic firewall policies of large sizes. The performance of the algorithm is sufficiently high that they can practically be used in the iterative process of firewall policy design, verification, and maintenance. The firewall policy troubleshooting algorithm proposed in this paper is not limited to firewalls. Rather, they can be potentially applied to other rule-based systems as well." @default.
- W2118362475 created "2016-06-24" @default.
- W2118362475 creator A5008787905 @default.
- W2118362475 date "2009-11-01" @default.
- W2118362475 modified "2023-09-27" @default.
- W2118362475 title "Firewall policy verification and troubleshooting" @default.
- W2118362475 cites W1560883761 @default.
- W2118362475 cites W1573602192 @default.
- W2118362475 cites W1639305476 @default.
- W2118362475 cites W1978070018 @default.
- W2118362475 cites W2013539581 @default.
- W2118362475 cites W2032255263 @default.
- W2118362475 cites W2042448840 @default.
- W2118362475 cites W2122106619 @default.
- W2118362475 cites W2130341265 @default.
- W2118362475 cites W2132434720 @default.
- W2118362475 cites W2135665381 @default.
- W2118362475 cites W2138946818 @default.
- W2118362475 cites W2148408186 @default.
- W2118362475 cites W2163034159 @default.
- W2118362475 cites W2168725541 @default.
- W2118362475 cites W2171898644 @default.
- W2118362475 cites W2551324728 @default.
- W2118362475 cites W2916086000 @default.
- W2118362475 cites W961219230 @default.
- W2118362475 doi "https://doi.org/10.1016/j.comnet.2009.07.003" @default.
- W2118362475 hasPublicationYear "2009" @default.
- W2118362475 type Work @default.
- W2118362475 sameAs 2118362475 @default.
- W2118362475 citedByCount "21" @default.
- W2118362475 countsByYear W21183624752012 @default.
- W2118362475 countsByYear W21183624752013 @default.
- W2118362475 countsByYear W21183624752014 @default.
- W2118362475 countsByYear W21183624752015 @default.
- W2118362475 countsByYear W21183624752016 @default.
- W2118362475 countsByYear W21183624752019 @default.
- W2118362475 countsByYear W21183624752020 @default.
- W2118362475 countsByYear W21183624752022 @default.
- W2118362475 crossrefType "journal-article" @default.
- W2118362475 hasAuthorship W2118362475A5008787905 @default.
- W2118362475 hasConcept C104062141 @default.
- W2118362475 hasConcept C106301342 @default.
- W2118362475 hasConcept C111919701 @default.
- W2118362475 hasConcept C121332964 @default.
- W2118362475 hasConcept C147494362 @default.
- W2118362475 hasConcept C183915046 @default.
- W2118362475 hasConcept C38652104 @default.
- W2118362475 hasConcept C41008148 @default.
- W2118362475 hasConcept C62520636 @default.
- W2118362475 hasConcept C77714075 @default.
- W2118362475 hasConceptScore W2118362475C104062141 @default.
- W2118362475 hasConceptScore W2118362475C106301342 @default.
- W2118362475 hasConceptScore W2118362475C111919701 @default.
- W2118362475 hasConceptScore W2118362475C121332964 @default.
- W2118362475 hasConceptScore W2118362475C147494362 @default.
- W2118362475 hasConceptScore W2118362475C183915046 @default.
- W2118362475 hasConceptScore W2118362475C38652104 @default.
- W2118362475 hasConceptScore W2118362475C41008148 @default.
- W2118362475 hasConceptScore W2118362475C62520636 @default.
- W2118362475 hasConceptScore W2118362475C77714075 @default.
- W2118362475 hasIssue "16" @default.
- W2118362475 hasLocation W21183624751 @default.
- W2118362475 hasOpenAccess W2118362475 @default.
- W2118362475 hasPrimaryLocation W21183624751 @default.
- W2118362475 hasRelatedWork W2061431394 @default.
- W2118362475 hasRelatedWork W2252949271 @default.
- W2118362475 hasRelatedWork W2278598025 @default.
- W2118362475 hasRelatedWork W2363554702 @default.
- W2118362475 hasRelatedWork W2367805574 @default.
- W2118362475 hasRelatedWork W2498241295 @default.
- W2118362475 hasRelatedWork W3021785546 @default.
- W2118362475 hasRelatedWork W3202286939 @default.
- W2118362475 hasRelatedWork W3204793433 @default.
- W2118362475 hasRelatedWork W4220912467 @default.
- W2118362475 hasVolume "53" @default.
- W2118362475 isParatext "false" @default.
- W2118362475 isRetracted "false" @default.
- W2118362475 magId "2118362475" @default.
- W2118362475 workType "article" @default.