Matches in SemOpenAlex for { <https://semopenalex.org/work/W4220785511> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4220785511 endingPage "102683" @default.
- W4220785511 startingPage "102683" @default.
- W4220785511 abstract "Firewalls are a fundamental tool for managing and protecting computer networks. They behave according to a configuration that specifies the desired policy, i.e., which packets are allowed to enter a network, possibly with modified addresses. Several tools allow the user to specify policies in various high level languages, and to compile them into different target configuration languages, as well as to automatically migrate a configuration from a system to another. Often, these tools implicitly assume that the target system can enforce any desired policy. Unexpectedly, we find that this is not always the case. In particular, we show that the most common UNIX firewall systems, i.e., iptables, ipfw, pf, are not equally expressive, in that some policies can be implemented in one system but not in another. Here, we formally investigate the expressive power of these firewall systems using techniques from programming language semantics, and set up a formal model to precisely characterize their relationships. Based on this formal model we then present F2F, a prototypical tool that predicts when a policy cannot be expressed in a given system. Our prototype gives detailed information about the unexpressible parts of a policy and provides administrators with hints for fixing the detected problems." @default.
- W4220785511 created "2022-04-03" @default.
- W4220785511 creator A5043354136 @default.
- W4220785511 creator A5055365661 @default.
- W4220785511 creator A5082476880 @default.
- W4220785511 date "2022-06-01" @default.
- W4220785511 modified "2023-10-06" @default.
- W4220785511 title "Can my firewall system enforce this policy?" @default.
- W4220785511 cites W2014254858 @default.
- W4220785511 cites W2781706673 @default.
- W4220785511 cites W3122909987 @default.
- W4220785511 doi "https://doi.org/10.1016/j.cose.2022.102683" @default.
- W4220785511 hasPublicationYear "2022" @default.
- W4220785511 type Work @default.
- W4220785511 citedByCount "0" @default.
- W4220785511 crossrefType "journal-article" @default.
- W4220785511 hasAuthorship W4220785511A5043354136 @default.
- W4220785511 hasAuthorship W4220785511A5055365661 @default.
- W4220785511 hasAuthorship W4220785511A5082476880 @default.
- W4220785511 hasConcept C115304011 @default.
- W4220785511 hasConcept C120314980 @default.
- W4220785511 hasConcept C121332964 @default.
- W4220785511 hasConcept C124017977 @default.
- W4220785511 hasConcept C154908896 @default.
- W4220785511 hasConcept C158379750 @default.
- W4220785511 hasConcept C169590947 @default.
- W4220785511 hasConcept C183915046 @default.
- W4220785511 hasConcept C199360897 @default.
- W4220785511 hasConcept C200833197 @default.
- W4220785511 hasConcept C22927095 @default.
- W4220785511 hasConcept C38652104 @default.
- W4220785511 hasConcept C41008148 @default.
- W4220785511 hasConcept C74650414 @default.
- W4220785511 hasConcept C77714075 @default.
- W4220785511 hasConcept C86444895 @default.
- W4220785511 hasConceptScore W4220785511C115304011 @default.
- W4220785511 hasConceptScore W4220785511C120314980 @default.
- W4220785511 hasConceptScore W4220785511C121332964 @default.
- W4220785511 hasConceptScore W4220785511C124017977 @default.
- W4220785511 hasConceptScore W4220785511C154908896 @default.
- W4220785511 hasConceptScore W4220785511C158379750 @default.
- W4220785511 hasConceptScore W4220785511C169590947 @default.
- W4220785511 hasConceptScore W4220785511C183915046 @default.
- W4220785511 hasConceptScore W4220785511C199360897 @default.
- W4220785511 hasConceptScore W4220785511C200833197 @default.
- W4220785511 hasConceptScore W4220785511C22927095 @default.
- W4220785511 hasConceptScore W4220785511C38652104 @default.
- W4220785511 hasConceptScore W4220785511C41008148 @default.
- W4220785511 hasConceptScore W4220785511C74650414 @default.
- W4220785511 hasConceptScore W4220785511C77714075 @default.
- W4220785511 hasConceptScore W4220785511C86444895 @default.
- W4220785511 hasFunder F4320321873 @default.
- W4220785511 hasLocation W42207855111 @default.
- W4220785511 hasOpenAccess W4220785511 @default.
- W4220785511 hasPrimaryLocation W42207855111 @default.
- W4220785511 hasRelatedWork W2009238965 @default.
- W4220785511 hasRelatedWork W2057573940 @default.
- W4220785511 hasRelatedWork W2347324149 @default.
- W4220785511 hasRelatedWork W2361515550 @default.
- W4220785511 hasRelatedWork W2495628081 @default.
- W4220785511 hasRelatedWork W2583381754 @default.
- W4220785511 hasRelatedWork W2914666513 @default.
- W4220785511 hasRelatedWork W2916429898 @default.
- W4220785511 hasRelatedWork W4363647490 @default.
- W4220785511 hasRelatedWork W8359669 @default.
- W4220785511 hasVolume "117" @default.
- W4220785511 isParatext "false" @default.
- W4220785511 isRetracted "false" @default.
- W4220785511 workType "article" @default.