FRINK Linked Data Fragments server

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

• W2468070113 abstract "Network connectivity policies are crucial for assuring the security and availability of large-scale datacenter. Managing these policies is fraught with complexity and operator errors. The difficulties are exacerbated when deploying large scale offerings of public cloud services where multiple tenants are hosted within customized isolation boundaries. In these large-scale settings it is impractical to depend on human effort or trial and error to maintain the correctness and consistency of policies. We describe an approach for automatically validating network connectivity policies and its implementation in a tool called SecGuru. SecGuru can check selected properties of policies, e.g., is some traffic permitted or denied, and it can compare two policies yielding a semantic diff to summarize drifts. We use bit-vector logic to encode policies and semantic diffs; and the theorem prover Z3 as the underlying solver. A key contribution is a new algorithm for compactly enumerating symbolic diffs. We finally describe the experience of using SecGuru in Azure, a public cloud provider. Azure uses SecGuru for continuously monitoring policy configurations and alerting on errors, and also as a regression test suite to check policies before deployment. As a result of using SecGuru, today Azure proactively detects and avoids policy misconfigurations that lead to security and availability issues." @default.
• W2468070113 created "2016-07-22" @default.
• W2468070113 creator A5005997931 @default.
• W2468070113 creator A5016178612 @default.
• W2468070113 creator A5066449243 @default.
• W2468070113 creator A5091080723 @default.
• W2468070113 date "2014-07-26" @default.
• W2468070113 modified "2023-09-23" @default.
• W2468070113 title "Automated Analysis and Debugging of Network Connectivity Policies" @default.
• W2468070113 cites W1449038650 @default.
• W2468070113 cites W1480909796 @default.
• W2468070113 cites W1519503479 @default.
• W2468070113 cites W1677652203 @default.
• W2468070113 cites W1882012874 @default.
• W2468070113 cites W1923195206 @default.
• W2468070113 cites W198963734 @default.
• W2468070113 cites W1998568597 @default.
• W2468070113 cites W2003780485 @default.
• W2468070113 cites W2006841241 @default.
• W2468070113 cites W2015653806 @default.
• W2468070113 cites W2042448840 @default.
• W2468070113 cites W2049595656 @default.
• W2468070113 cites W2061520403 @default.
• W2468070113 cites W2064070192 @default.
• W2468070113 cites W2115526539 @default.
• W2468070113 cites W2120255160 @default.
• W2468070113 cites W2122695394 @default.
• W2468070113 cites W2138623315 @default.
• W2468070113 cites W2140890531 @default.
• W2468070113 cites W2146356111 @default.
• W2468070113 cites W2148408186 @default.
• W2468070113 cites W2150060143 @default.
• W2468070113 cites W2155847573 @default.
• W2468070113 cites W2171896920 @default.
• W2468070113 cites W2246388642 @default.
• W2468070113 cites W2913158960 @default.
• W2468070113 cites W2913217271 @default.
• W2468070113 cites W45055422 @default.
• W2468070113 cites W72463235 @default.
• W2468070113 cites W76953062 @default.
• W2468070113 cites W2095881341 @default.
• W2468070113 hasPublicationYear "2014" @default.
• W2468070113 type Work @default.
• W2468070113 sameAs 2468070113 @default.
• W2468070113 citedByCount "7" @default.
• W2468070113 countsByYear W24680701132014 @default.
• W2468070113 countsByYear W24680701132015 @default.
• W2468070113 countsByYear W24680701132017 @default.
• W2468070113 countsByYear W24680701132019 @default.
• W2468070113 crossrefType "journal-article" @default.
• W2468070113 hasAuthorship W2468070113A5005997931 @default.
• W2468070113 hasAuthorship W2468070113A5016178612 @default.
• W2468070113 hasAuthorship W2468070113A5066449243 @default.
• W2468070113 hasAuthorship W2468070113A5091080723 @default.
• W2468070113 hasConcept C111919701 @default.
• W2468070113 hasConcept C120314980 @default.
• W2468070113 hasConcept C121332964 @default.
• W2468070113 hasConcept C154945302 @default.
• W2468070113 hasConcept C164155591 @default.
• W2468070113 hasConcept C166957645 @default.
• W2468070113 hasConcept C168065819 @default.
• W2468070113 hasConcept C184337299 @default.
• W2468070113 hasConcept C199360897 @default.
• W2468070113 hasConcept C26517878 @default.
• W2468070113 hasConcept C2776436953 @default.
• W2468070113 hasConcept C2778755073 @default.
• W2468070113 hasConcept C38652104 @default.
• W2468070113 hasConcept C41008148 @default.
• W2468070113 hasConcept C55439883 @default.
• W2468070113 hasConcept C62520636 @default.
• W2468070113 hasConcept C79581498 @default.
• W2468070113 hasConcept C79974875 @default.
• W2468070113 hasConcept C80444323 @default.
• W2468070113 hasConcept C95457728 @default.
• W2468070113 hasConceptScore W2468070113C111919701 @default.
• W2468070113 hasConceptScore W2468070113C120314980 @default.
• W2468070113 hasConceptScore W2468070113C121332964 @default.
• W2468070113 hasConceptScore W2468070113C154945302 @default.
• W2468070113 hasConceptScore W2468070113C164155591 @default.
• W2468070113 hasConceptScore W2468070113C166957645 @default.
• W2468070113 hasConceptScore W2468070113C168065819 @default.
• W2468070113 hasConceptScore W2468070113C184337299 @default.
• W2468070113 hasConceptScore W2468070113C199360897 @default.
• W2468070113 hasConceptScore W2468070113C26517878 @default.
• W2468070113 hasConceptScore W2468070113C2776436953 @default.
• W2468070113 hasConceptScore W2468070113C2778755073 @default.
• W2468070113 hasConceptScore W2468070113C38652104 @default.
• W2468070113 hasConceptScore W2468070113C41008148 @default.
• W2468070113 hasConceptScore W2468070113C55439883 @default.
• W2468070113 hasConceptScore W2468070113C62520636 @default.
• W2468070113 hasConceptScore W2468070113C79581498 @default.
• W2468070113 hasConceptScore W2468070113C79974875 @default.
• W2468070113 hasConceptScore W2468070113C80444323 @default.
• W2468070113 hasConceptScore W2468070113C95457728 @default.
• W2468070113 hasLocation W24680701131 @default.
• W2468070113 hasOpenAccess W2468070113 @default.
• W2468070113 hasPrimaryLocation W24680701131 @default.
• W2468070113 hasRelatedWork W1249296113 @default.
• W2468070113 hasRelatedWork W1480909796 @default.
• W2468070113 hasRelatedWork W158224344 @default.

• next