FRINK Linked Data Fragments server

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

• W1526774512 endingPage "79" @default.
• W1526774512 startingPage "65" @default.
• W1526774512 abstract "We present a new approach to information flow control (IFC), which exploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existing IFC analysis in which illegal flows are characterized using program dependence graphs (PDG) and path conditions (as described in [12]). Although path conditions provide an already precise abstraction that can be used to generate witnesses to the illegal flow, they may still cause false alarms. Our CEGAR process recognizes false witnesses by executing them and monitoring their executions, and eliminates them by automatically refining path conditions in an iterative way as needed. The paper sketches the foundations of CEGAR and PDG-based IFC, and describes the approach in detail. An example shows how the approach finds illegal flow, and demonstrates how CEGAR eliminates false alarms." @default.
• W1526774512 created "2016-06-24" @default.
• W1526774512 creator A5008408217 @default.
• W1526774512 creator A5051452087 @default.
• W1526774512 creator A5059584212 @default.
• W1526774512 date "2011-01-01" @default.
• W1526774512 modified "2023-10-18" @default.
• W1526774512 title "Information Flow Analysis via Path Condition Refinement" @default.
• W1526774512 cites W13082435 @default.
• W1526774512 cites W1556462035 @default.
• W1526774512 cites W1688849340 @default.
• W1526774512 cites W1775468415 @default.
• W1526774512 cites W1891007682 @default.
• W1526774512 cites W1951162889 @default.
• W1526774512 cites W1982205631 @default.
• W1526774512 cites W2034527657 @default.
• W1526774512 cites W2054383157 @default.
• W1526774512 cites W2057503672 @default.
• W1526774512 cites W2091968063 @default.
• W1526774512 cites W2111543139 @default.
• W1526774512 cites W2112350720 @default.
• W1526774512 cites W2122049982 @default.
• W1526774512 cites W2125967324 @default.
• W1526774512 cites W2158395308 @default.
• W1526774512 cites W4230796557 @default.
• W1526774512 cites W4299904775 @default.
• W1526774512 doi "https://doi.org/10.1007/978-3-642-19751-2_5" @default.
• W1526774512 hasPublicationYear "2011" @default.
• W1526774512 type Work @default.
• W1526774512 sameAs 1526774512 @default.
• W1526774512 citedByCount "9" @default.
• W1526774512 countsByYear W15267745122012 @default.
• W1526774512 countsByYear W15267745122013 @default.
• W1526774512 countsByYear W15267745122014 @default.
• W1526774512 countsByYear W15267745122015 @default.
• W1526774512 countsByYear W15267745122016 @default.
• W1526774512 countsByYear W15267745122017 @default.
• W1526774512 countsByYear W15267745122020 @default.
• W1526774512 crossrefType "book-chapter" @default.
• W1526774512 hasAuthorship W1526774512A5008408217 @default.
• W1526774512 hasAuthorship W1526774512A5051452087 @default.
• W1526774512 hasAuthorship W1526774512A5059584212 @default.
• W1526774512 hasConcept C111472728 @default.
• W1526774512 hasConcept C118615104 @default.
• W1526774512 hasConcept C124101348 @default.
• W1526774512 hasConcept C124304363 @default.
• W1526774512 hasConcept C138885662 @default.
• W1526774512 hasConcept C160191386 @default.
• W1526774512 hasConcept C162838799 @default.
• W1526774512 hasConcept C165696696 @default.
• W1526774512 hasConcept C192028432 @default.
• W1526774512 hasConcept C199360897 @default.
• W1526774512 hasConcept C2524010 @default.
• W1526774512 hasConcept C2777735758 @default.
• W1526774512 hasConcept C2779136372 @default.
• W1526774512 hasConcept C33923547 @default.
• W1526774512 hasConcept C38349280 @default.
• W1526774512 hasConcept C38652104 @default.
• W1526774512 hasConcept C41008148 @default.
• W1526774512 hasConcept C41895202 @default.
• W1526774512 hasConcept C61114434 @default.
• W1526774512 hasConcept C80444323 @default.
• W1526774512 hasConcept C98045186 @default.
• W1526774512 hasConceptScore W1526774512C111472728 @default.
• W1526774512 hasConceptScore W1526774512C118615104 @default.
• W1526774512 hasConceptScore W1526774512C124101348 @default.
• W1526774512 hasConceptScore W1526774512C124304363 @default.
• W1526774512 hasConceptScore W1526774512C138885662 @default.
• W1526774512 hasConceptScore W1526774512C160191386 @default.
• W1526774512 hasConceptScore W1526774512C162838799 @default.
• W1526774512 hasConceptScore W1526774512C165696696 @default.
• W1526774512 hasConceptScore W1526774512C192028432 @default.
• W1526774512 hasConceptScore W1526774512C199360897 @default.
• W1526774512 hasConceptScore W1526774512C2524010 @default.
• W1526774512 hasConceptScore W1526774512C2777735758 @default.
• W1526774512 hasConceptScore W1526774512C2779136372 @default.
• W1526774512 hasConceptScore W1526774512C33923547 @default.
• W1526774512 hasConceptScore W1526774512C38349280 @default.
• W1526774512 hasConceptScore W1526774512C38652104 @default.
• W1526774512 hasConceptScore W1526774512C41008148 @default.
• W1526774512 hasConceptScore W1526774512C41895202 @default.
• W1526774512 hasConceptScore W1526774512C61114434 @default.
• W1526774512 hasConceptScore W1526774512C80444323 @default.
• W1526774512 hasConceptScore W1526774512C98045186 @default.
• W1526774512 hasLocation W15267745121 @default.
• W1526774512 hasOpenAccess W1526774512 @default.
• W1526774512 hasPrimaryLocation W15267745121 @default.
• W1526774512 hasRelatedWork W1514172519 @default.
• W1526774512 hasRelatedWork W1804882692 @default.
• W1526774512 hasRelatedWork W1851906033 @default.
• W1526774512 hasRelatedWork W2003959877 @default.
• W1526774512 hasRelatedWork W2088501121 @default.
• W1526774512 hasRelatedWork W2186626863 @default.
• W1526774512 hasRelatedWork W2294389251 @default.
• W1526774512 hasRelatedWork W2950723509 @default.
• W1526774512 hasRelatedWork W3026881176 @default.
• W1526774512 hasRelatedWork W3034415389 @default.
• W1526774512 isParatext "false" @default.

• next