Matches in SemOpenAlex for { <https://semopenalex.org/work/W2606243151> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2606243151 abstract "We present a formal model of network protocols and their application to modeling firewall policies. The formalization is based on the Unified Policy Framework (UPF). The formalization was originally developed with for generating test cases for testing the security configuration actual firewall and router (middle-boxes) using HOL-TestGen. Our work focuses on modeling application level protocols on top of tcp/ip." @default.
- W2606243151 created "2017-04-28" @default.
- W2606243151 creator A5001790193 @default.
- W2606243151 creator A5016746101 @default.
- W2606243151 creator A5065514647 @default.
- W2606243151 date "2017-01-11" @default.
- W2606243151 modified "2023-09-23" @default.
- W2606243151 title "Formal Network Models and Their Application to Firewall Policies (UPF-Firewall)" @default.
- W2606243151 hasPublicationYear "2017" @default.
- W2606243151 type Work @default.
- W2606243151 sameAs 2606243151 @default.
- W2606243151 citedByCount "0" @default.
- W2606243151 crossrefType "journal-article" @default.
- W2606243151 hasAuthorship W2606243151A5001790193 @default.
- W2606243151 hasAuthorship W2606243151A5016746101 @default.
- W2606243151 hasAuthorship W2606243151A5065514647 @default.
- W2606243151 hasConcept C10138342 @default.
- W2606243151 hasConcept C115304011 @default.
- W2606243151 hasConcept C144133560 @default.
- W2606243151 hasConcept C158379750 @default.
- W2606243151 hasConcept C17435882 @default.
- W2606243151 hasConcept C182590292 @default.
- W2606243151 hasConcept C183915046 @default.
- W2606243151 hasConcept C199360897 @default.
- W2606243151 hasConcept C22927095 @default.
- W2606243151 hasConcept C23103841 @default.
- W2606243151 hasConcept C2775896111 @default.
- W2606243151 hasConcept C2776401274 @default.
- W2606243151 hasConcept C31258907 @default.
- W2606243151 hasConcept C38652104 @default.
- W2606243151 hasConcept C41008148 @default.
- W2606243151 hasConcept C42934231 @default.
- W2606243151 hasConcept C77714075 @default.
- W2606243151 hasConcept C86444895 @default.
- W2606243151 hasConceptScore W2606243151C10138342 @default.
- W2606243151 hasConceptScore W2606243151C115304011 @default.
- W2606243151 hasConceptScore W2606243151C144133560 @default.
- W2606243151 hasConceptScore W2606243151C158379750 @default.
- W2606243151 hasConceptScore W2606243151C17435882 @default.
- W2606243151 hasConceptScore W2606243151C182590292 @default.
- W2606243151 hasConceptScore W2606243151C183915046 @default.
- W2606243151 hasConceptScore W2606243151C199360897 @default.
- W2606243151 hasConceptScore W2606243151C22927095 @default.
- W2606243151 hasConceptScore W2606243151C23103841 @default.
- W2606243151 hasConceptScore W2606243151C2775896111 @default.
- W2606243151 hasConceptScore W2606243151C2776401274 @default.
- W2606243151 hasConceptScore W2606243151C31258907 @default.
- W2606243151 hasConceptScore W2606243151C38652104 @default.
- W2606243151 hasConceptScore W2606243151C41008148 @default.
- W2606243151 hasConceptScore W2606243151C42934231 @default.
- W2606243151 hasConceptScore W2606243151C77714075 @default.
- W2606243151 hasConceptScore W2606243151C86444895 @default.
- W2606243151 hasLocation W26062431511 @default.
- W2606243151 hasOpenAccess W2606243151 @default.
- W2606243151 hasPrimaryLocation W26062431511 @default.
- W2606243151 hasRelatedWork W143204455 @default.
- W2606243151 hasRelatedWork W1718921878 @default.
- W2606243151 hasRelatedWork W1860215963 @default.
- W2606243151 hasRelatedWork W1959306103 @default.
- W2606243151 hasRelatedWork W2008991995 @default.
- W2606243151 hasRelatedWork W2097735197 @default.
- W2606243151 hasRelatedWork W2134368869 @default.
- W2606243151 hasRelatedWork W2138078720 @default.
- W2606243151 hasRelatedWork W2142041085 @default.
- W2606243151 hasRelatedWork W2143772381 @default.
- W2606243151 hasRelatedWork W2154840930 @default.
- W2606243151 hasRelatedWork W2367721424 @default.
- W2606243151 hasRelatedWork W2371702808 @default.
- W2606243151 hasRelatedWork W2371769067 @default.
- W2606243151 hasRelatedWork W2373119920 @default.
- W2606243151 hasRelatedWork W2389945078 @default.
- W2606243151 hasRelatedWork W2393247041 @default.
- W2606243151 hasRelatedWork W2762356698 @default.
- W2606243151 hasRelatedWork W2900083505 @default.
- W2606243151 hasRelatedWork W2610553583 @default.
- W2606243151 isParatext "false" @default.
- W2606243151 isRetracted "false" @default.
- W2606243151 magId "2606243151" @default.
- W2606243151 workType "article" @default.