Matches in SemOpenAlex for { <https://semopenalex.org/work/W2558815845> ?p ?o ?g. }
- W2558815845 abstract "Abstract A firewall is the core of a well defined network security policy. This paper presents an automata-based method to study firewall security policies. We first propose a procedure that synthesizes an automaton that describes a security policy given as a table of rules. The synthesis procedure is then used to develop procedures to detect: incompleteness, anomalies and discrepancies in security policies. A method is developed to represent the automaton by a policy qualified as mixable and that has practical utilities, such as ease to determine the whitelist and the blacklist of the policy. The developed procedures have been deeply evaluated in terms of time and space complexities. Then, a real case study has been investigated. The obtained results confirm that the developed procedures have reasonable complexities and that their actual execution times are of the order of seconds. Finally, proofs of all results are provided." @default.
- W2558815845 created "2016-12-08" @default.
- W2558815845 creator A5009290886 @default.
- W2558815845 creator A5037301007 @default.
- W2558815845 creator A5054846379 @default.
- W2558815845 date "2018-01-01" @default.
- W2558815845 modified "2023-10-06" @default.
- W2558815845 title "A formal basis for the design and analysis of firewall security policies" @default.
- W2558815845 cites W1970797462 @default.
- W2558815845 cites W1971743186 @default.
- W2558815845 cites W1972777832 @default.
- W2558815845 cites W1978070018 @default.
- W2558815845 cites W1985021481 @default.
- W2558815845 cites W1989778648 @default.
- W2558815845 cites W1996846884 @default.
- W2558815845 cites W1998822780 @default.
- W2558815845 cites W2004929506 @default.
- W2558815845 cites W2013539581 @default.
- W2558815845 cites W2042448840 @default.
- W2558815845 cites W2045999085 @default.
- W2558815845 cites W2080267935 @default.
- W2558815845 cites W2088625654 @default.
- W2558815845 cites W2109687464 @default.
- W2558815845 cites W2120255160 @default.
- W2558815845 cites W2121780186 @default.
- W2558815845 cites W2131507299 @default.
- W2558815845 cites W2131999424 @default.
- W2558815845 cites W2133317647 @default.
- W2558815845 cites W2134247490 @default.
- W2558815845 cites W2138556012 @default.
- W2558815845 cites W2141335864 @default.
- W2558815845 cites W2148408186 @default.
- W2558815845 cites W2160207938 @default.
- W2558815845 cites W270596444 @default.
- W2558815845 cites W40377838 @default.
- W2558815845 cites W1571749062 @default.
- W2558815845 cites W1706456461 @default.
- W2558815845 cites W2548933844 @default.
- W2558815845 doi "https://doi.org/10.1016/j.jksuci.2016.11.008" @default.
- W2558815845 hasPublicationYear "2018" @default.
- W2558815845 type Work @default.
- W2558815845 sameAs 2558815845 @default.
- W2558815845 citedByCount "2" @default.
- W2558815845 countsByYear W25588158452018 @default.
- W2558815845 countsByYear W25588158452020 @default.
- W2558815845 crossrefType "journal-article" @default.
- W2558815845 hasAuthorship W2558815845A5009290886 @default.
- W2558815845 hasAuthorship W2558815845A5037301007 @default.
- W2558815845 hasAuthorship W2558815845A5054846379 @default.
- W2558815845 hasBestOaLocation W25588158451 @default.
- W2558815845 hasConcept C104062141 @default.
- W2558815845 hasConcept C106301342 @default.
- W2558815845 hasConcept C108710211 @default.
- W2558815845 hasConcept C112505250 @default.
- W2558815845 hasConcept C121332964 @default.
- W2558815845 hasConcept C154908896 @default.
- W2558815845 hasConcept C183915046 @default.
- W2558815845 hasConcept C2524010 @default.
- W2558815845 hasConcept C2781345505 @default.
- W2558815845 hasConcept C33923547 @default.
- W2558815845 hasConcept C38652104 @default.
- W2558815845 hasConcept C41008148 @default.
- W2558815845 hasConcept C62520636 @default.
- W2558815845 hasConcept C77714075 @default.
- W2558815845 hasConcept C80444323 @default.
- W2558815845 hasConceptScore W2558815845C104062141 @default.
- W2558815845 hasConceptScore W2558815845C106301342 @default.
- W2558815845 hasConceptScore W2558815845C108710211 @default.
- W2558815845 hasConceptScore W2558815845C112505250 @default.
- W2558815845 hasConceptScore W2558815845C121332964 @default.
- W2558815845 hasConceptScore W2558815845C154908896 @default.
- W2558815845 hasConceptScore W2558815845C183915046 @default.
- W2558815845 hasConceptScore W2558815845C2524010 @default.
- W2558815845 hasConceptScore W2558815845C2781345505 @default.
- W2558815845 hasConceptScore W2558815845C33923547 @default.
- W2558815845 hasConceptScore W2558815845C38652104 @default.
- W2558815845 hasConceptScore W2558815845C41008148 @default.
- W2558815845 hasConceptScore W2558815845C62520636 @default.
- W2558815845 hasConceptScore W2558815845C77714075 @default.
- W2558815845 hasConceptScore W2558815845C80444323 @default.
- W2558815845 hasLocation W25588158451 @default.
- W2558815845 hasOpenAccess W2558815845 @default.
- W2558815845 hasPrimaryLocation W25588158451 @default.
- W2558815845 hasRelatedWork W1966823303 @default.
- W2558815845 hasRelatedWork W1967055038 @default.
- W2558815845 hasRelatedWork W1973951468 @default.
- W2558815845 hasRelatedWork W1982255089 @default.
- W2558815845 hasRelatedWork W2007297573 @default.
- W2558815845 hasRelatedWork W2010588223 @default.
- W2558815845 hasRelatedWork W2012792218 @default.
- W2558815845 hasRelatedWork W2038313665 @default.
- W2558815845 hasRelatedWork W2068327653 @default.
- W2558815845 hasRelatedWork W2103179873 @default.
- W2558815845 hasRelatedWork W2118314643 @default.
- W2558815845 hasRelatedWork W2125641860 @default.
- W2558815845 hasRelatedWork W2147983543 @default.
- W2558815845 hasRelatedWork W2152864862 @default.
- W2558815845 hasRelatedWork W2237442253 @default.
- W2558815845 hasRelatedWork W2365374731 @default.
- W2558815845 hasRelatedWork W270596444 @default.