FRINK Linked Data Fragments server

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

• W2157609788 abstract "The configuration of firewalls is highly error prone and automated solution are needed in order to analyze its correctness. We propose a formal and automatic method for checking whether a firewall reacts correctly with respect to a security policy given in an high level declarative language. When errors are detected, some feedback is returned to the user in order to correct the firewall configuration. Furthermore, the procedure verifies that no conflicts exist within the security policy. We show that our method is both correct and complete. Finally, it has been implemented in a prototype of verifier based on a satisfiability solver modulo theories (SMT). Experiment conducted on relevant case studies demonstrate the efficiency and scalability of the approach." @default.
• W2157609788 created "2016-06-24" @default.
• W2157609788 creator A5068320028 @default.
• W2157609788 creator A5075259756 @default.
• W2157609788 creator A5076777695 @default.
• W2157609788 date "2009-07-01" @default.
• W2157609788 modified "2023-09-25" @default.
• W2157609788 title "Automatic verification of conformance of firewall configurations to security policies" @default.
• W2157609788 cites W101001524 @default.
• W2157609788 cites W1894272157 @default.
• W2157609788 cites W2031468111 @default.
• W2157609788 cites W2071510102 @default.
• W2157609788 cites W2110652821 @default.
• W2157609788 cites W2132434720 @default.
• W2157609788 cites W2138623315 @default.
• W2157609788 cites W2253419744 @default.
• W2157609788 cites W2913158960 @default.
• W2157609788 cites W3023924054 @default.
• W2157609788 cites W92576581 @default.
• W2157609788 doi "https://doi.org/10.1109/iscc.2009.5202309" @default.
• W2157609788 hasPublicationYear "2009" @default.
• W2157609788 type Work @default.
• W2157609788 sameAs 2157609788 @default.
• W2157609788 citedByCount "19" @default.
• W2157609788 countsByYear W21576097882012 @default.
• W2157609788 countsByYear W21576097882013 @default.
• W2157609788 countsByYear W21576097882014 @default.
• W2157609788 countsByYear W21576097882015 @default.
• W2157609788 countsByYear W21576097882016 @default.
• W2157609788 countsByYear W21576097882021 @default.
• W2157609788 crossrefType "proceedings-article" @default.
• W2157609788 hasAuthorship W2157609788A5068320028 @default.
• W2157609788 hasAuthorship W2157609788A5075259756 @default.
• W2157609788 hasAuthorship W2157609788A5076777695 @default.
• W2157609788 hasBestOaLocation W21576097882 @default.
• W2157609788 hasConcept C110251889 @default.
• W2157609788 hasConcept C111498074 @default.
• W2157609788 hasConcept C114614502 @default.
• W2157609788 hasConcept C115304011 @default.
• W2157609788 hasConcept C120314980 @default.
• W2157609788 hasConcept C121332964 @default.
• W2157609788 hasConcept C124017977 @default.
• W2157609788 hasConcept C154908896 @default.
• W2157609788 hasConcept C158379750 @default.
• W2157609788 hasConcept C164155591 @default.
• W2157609788 hasConcept C168773769 @default.
• W2157609788 hasConcept C183915046 @default.
• W2157609788 hasConcept C199360897 @default.
• W2157609788 hasConcept C22927095 @default.
• W2157609788 hasConcept C33923547 @default.
• W2157609788 hasConcept C38652104 @default.
• W2157609788 hasConcept C41008148 @default.
• W2157609788 hasConcept C48044578 @default.
• W2157609788 hasConcept C54732982 @default.
• W2157609788 hasConcept C55439883 @default.
• W2157609788 hasConcept C74650414 @default.
• W2157609788 hasConcept C77088390 @default.
• W2157609788 hasConcept C77714075 @default.
• W2157609788 hasConcept C80444323 @default.
• W2157609788 hasConcept C86444895 @default.
• W2157609788 hasConceptScore W2157609788C110251889 @default.
• W2157609788 hasConceptScore W2157609788C111498074 @default.
• W2157609788 hasConceptScore W2157609788C114614502 @default.
• W2157609788 hasConceptScore W2157609788C115304011 @default.
• W2157609788 hasConceptScore W2157609788C120314980 @default.
• W2157609788 hasConceptScore W2157609788C121332964 @default.
• W2157609788 hasConceptScore W2157609788C124017977 @default.
• W2157609788 hasConceptScore W2157609788C154908896 @default.
• W2157609788 hasConceptScore W2157609788C158379750 @default.
• W2157609788 hasConceptScore W2157609788C164155591 @default.
• W2157609788 hasConceptScore W2157609788C168773769 @default.
• W2157609788 hasConceptScore W2157609788C183915046 @default.
• W2157609788 hasConceptScore W2157609788C199360897 @default.
• W2157609788 hasConceptScore W2157609788C22927095 @default.
• W2157609788 hasConceptScore W2157609788C33923547 @default.
• W2157609788 hasConceptScore W2157609788C38652104 @default.
• W2157609788 hasConceptScore W2157609788C41008148 @default.
• W2157609788 hasConceptScore W2157609788C48044578 @default.
• W2157609788 hasConceptScore W2157609788C54732982 @default.
• W2157609788 hasConceptScore W2157609788C55439883 @default.
• W2157609788 hasConceptScore W2157609788C74650414 @default.
• W2157609788 hasConceptScore W2157609788C77088390 @default.
• W2157609788 hasConceptScore W2157609788C77714075 @default.
• W2157609788 hasConceptScore W2157609788C80444323 @default.
• W2157609788 hasConceptScore W2157609788C86444895 @default.
• W2157609788 hasLocation W21576097881 @default.
• W2157609788 hasLocation W21576097882 @default.
• W2157609788 hasLocation W21576097883 @default.
• W2157609788 hasLocation W21576097884 @default.
• W2157609788 hasLocation W21576097885 @default.
• W2157609788 hasOpenAccess W2157609788 @default.
• W2157609788 hasPrimaryLocation W21576097881 @default.
• W2157609788 hasRelatedWork W1505526588 @default.
• W2157609788 hasRelatedWork W1530824419 @default.
• W2157609788 hasRelatedWork W1549032789 @default.
• W2157609788 hasRelatedWork W1850275321 @default.
• W2157609788 hasRelatedWork W1965965053 @default.
• W2157609788 hasRelatedWork W2003780485 @default.
• W2157609788 hasRelatedWork W2040258684 @default.
• W2157609788 hasRelatedWork W2155162307 @default.

• next