FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097735197> ?p ?o ?g. }

• W2097735197 abstract "This dissertation describes a technique for formally analyzing a firewall security policy using a quasi-reduced multiway decision diagram model. The analysis allows a system administrator to detect and repair errors in the configuration of the firewall without a tedious manual inspection of the firewall rules. We present four major contributions. First, we describe a set of algorithms for representing a firewall rule set as a multi-way decision diagram and for solving logical queries against that model. We demonstrate the application of these techniques in a tool for analyzing iptables firewalls. Second, we present an extension of our work that enables analysis of systems of connected firewalls and firewalls that use network address translation and other packet mangling rules. Third, we demonstrate a technique for decomposing a network into classes of equivalent hosts. These classes can be used to detect errors in a firewall policy without apriori knowledge of potential vulnerabilities. They can also be used with other firewall testing techniques to ensure comprehensive coverage of the test space. Fourth, we discuss a strategy for partially automating repair of the firewall policy through the use of counterexamples and rule history. Using these techniques, a system administrator can detect and repair common firewall errors, such as typos, out-of-order rules, and shadowed rules. She can also develop a specification of the behaviors of the firewall and validate the firewall policy against that specification." @default.
• W2097735197 created "2016-06-24" @default.
• W2097735197 creator A5056917342 @default.
• W2097735197 date "2008-01-01" @default.
• W2097735197 modified "2023-09-23" @default.
• W2097735197 title "Formal analysis of firewall policies" @default.
• W2097735197 cites W101001524 @default.
• W2097735197 cites W1483177141 @default.
• W2097735197 cites W1499631950 @default.
• W2097735197 cites W1591593704 @default.
• W2097735197 cites W1678529581 @default.
• W2097735197 cites W1718783241 @default.
• W2097735197 cites W1923195206 @default.
• W2097735197 cites W2014254858 @default.
• W2097735197 cites W2021966604 @default.
• W2097735197 cites W2042448840 @default.
• W2097735197 cites W2080267935 @default.
• W2097735197 cites W2098792280 @default.
• W2097735197 cites W2126212382 @default.
• W2097735197 cites W2126945610 @default.
• W2097735197 cites W2131999424 @default.
• W2097735197 cites W2132434720 @default.
• W2097735197 cites W2135570238 @default.
• W2097735197 cites W2138623315 @default.
• W2097735197 cites W2141335864 @default.
• W2097735197 cites W2144774344 @default.
• W2097735197 cites W2146512386 @default.
• W2097735197 cites W2259567679 @default.
• W2097735197 cites W2339102515 @default.
• W2097735197 cites W2912772635 @default.
• W2097735197 cites W2913158960 @default.
• W2097735197 doi "https://doi.org/10.21220/s2-w2z8-5904" @default.
• W2097735197 hasPublicationYear "2008" @default.
• W2097735197 type Work @default.
• W2097735197 sameAs 2097735197 @default.
• W2097735197 citedByCount "2" @default.
• W2097735197 countsByYear W20977351972013 @default.
• W2097735197 countsByYear W20977351972018 @default.
• W2097735197 crossrefType "journal-article" @default.
• W2097735197 hasAuthorship W2097735197A5056917342 @default.
• W2097735197 hasConcept C115304011 @default.
• W2097735197 hasConcept C121332964 @default.
• W2097735197 hasConcept C124017977 @default.
• W2097735197 hasConcept C124101348 @default.
• W2097735197 hasConcept C154908896 @default.
• W2097735197 hasConcept C158379750 @default.
• W2097735197 hasConcept C182590292 @default.
• W2097735197 hasConcept C183915046 @default.
• W2097735197 hasConcept C22927095 @default.
• W2097735197 hasConcept C23103841 @default.
• W2097735197 hasConcept C2780814629 @default.
• W2097735197 hasConcept C38652104 @default.
• W2097735197 hasConcept C41008148 @default.
• W2097735197 hasConcept C42934231 @default.
• W2097735197 hasConcept C74650414 @default.
• W2097735197 hasConcept C77714075 @default.
• W2097735197 hasConcept C86444895 @default.
• W2097735197 hasConceptScore W2097735197C115304011 @default.
• W2097735197 hasConceptScore W2097735197C121332964 @default.
• W2097735197 hasConceptScore W2097735197C124017977 @default.
• W2097735197 hasConceptScore W2097735197C124101348 @default.
• W2097735197 hasConceptScore W2097735197C154908896 @default.
• W2097735197 hasConceptScore W2097735197C158379750 @default.
• W2097735197 hasConceptScore W2097735197C182590292 @default.
• W2097735197 hasConceptScore W2097735197C183915046 @default.
• W2097735197 hasConceptScore W2097735197C22927095 @default.
• W2097735197 hasConceptScore W2097735197C23103841 @default.
• W2097735197 hasConceptScore W2097735197C2780814629 @default.
• W2097735197 hasConceptScore W2097735197C38652104 @default.
• W2097735197 hasConceptScore W2097735197C41008148 @default.
• W2097735197 hasConceptScore W2097735197C42934231 @default.
• W2097735197 hasConceptScore W2097735197C74650414 @default.
• W2097735197 hasConceptScore W2097735197C77714075 @default.
• W2097735197 hasConceptScore W2097735197C86444895 @default.
• W2097735197 hasLocation W20977351971 @default.
• W2097735197 hasOpenAccess W2097735197 @default.
• W2097735197 hasPrimaryLocation W20977351971 @default.
• W2097735197 hasRelatedWork W124387191 @default.
• W2097735197 hasRelatedWork W1574020884 @default.
• W2097735197 hasRelatedWork W1591593704 @default.
• W2097735197 hasRelatedWork W1959306103 @default.
• W2097735197 hasRelatedWork W1975849541 @default.
• W2097735197 hasRelatedWork W2008991995 @default.
• W2097735197 hasRelatedWork W2096244038 @default.
• W2097735197 hasRelatedWork W2118362475 @default.
• W2097735197 hasRelatedWork W2124890737 @default.
• W2097735197 hasRelatedWork W2134368869 @default.
• W2097735197 hasRelatedWork W2138078720 @default.
• W2097735197 hasRelatedWork W2148656332 @default.
• W2097735197 hasRelatedWork W2167306747 @default.
• W2097735197 hasRelatedWork W2188984590 @default.
• W2097735197 hasRelatedWork W2352652655 @default.
• W2097735197 hasRelatedWork W2389945078 @default.
• W2097735197 hasRelatedWork W2393247041 @default.
• W2097735197 hasRelatedWork W2913158960 @default.
• W2097735197 hasRelatedWork W59357109 @default.
• W2097735197 hasRelatedWork W2570488130 @default.
• W2097735197 isParatext "false" @default.
• W2097735197 isRetracted "false" @default.
• W2097735197 magId "2097735197" @default.

• next