Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030239375> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2030239375 abstract "Information flow analysis algorithms for programs typically overestimate the amount of information flow that occurs in a program, since they must account for all paths through the computation graph, whether or not they are actually possible. This is the source of the information flow anomalies, which are simple situations not properly handled by syntactic information flow analysis. This paper introduces an abstract information content function for state machine models of programs, and applies it to the information firm analysis problem, in conjunction with a semantic analysis of functional behavior provided by a program verification system. Our method fits well within the framework of many existing program verification systems, requiring only a small amount of knowledge of set theory. Some of the more common information flow anomalies are shown to be handled correctly by the method." @default.
- W2030239375 created "2016-06-24" @default.
- W2030239375 creator A5012244300 @default.
- W2030239375 creator A5051846217 @default.
- W2030239375 date "1982-04-01" @default.
- W2030239375 modified "2023-09-26" @default.
- W2030239375 title "Precise Information Flow Analysis by Program Verification" @default.
- W2030239375 doi "https://doi.org/10.1109/sp.1982.10003" @default.
- W2030239375 hasPublicationYear "1982" @default.
- W2030239375 type Work @default.
- W2030239375 sameAs 2030239375 @default.
- W2030239375 citedByCount "2" @default.
- W2030239375 countsByYear W20302393752017 @default.
- W2030239375 countsByYear W20302393752018 @default.
- W2030239375 crossrefType "proceedings-article" @default.
- W2030239375 hasAuthorship W2030239375A5012244300 @default.
- W2030239375 hasAuthorship W2030239375A5051846217 @default.
- W2030239375 hasConcept C111472728 @default.
- W2030239375 hasConcept C124101348 @default.
- W2030239375 hasConcept C138885662 @default.
- W2030239375 hasConcept C177264268 @default.
- W2030239375 hasConcept C199360897 @default.
- W2030239375 hasConcept C2524010 @default.
- W2030239375 hasConcept C27458966 @default.
- W2030239375 hasConcept C2779136372 @default.
- W2030239375 hasConcept C2780586882 @default.
- W2030239375 hasConcept C33923547 @default.
- W2030239375 hasConcept C38349280 @default.
- W2030239375 hasConcept C41008148 @default.
- W2030239375 hasConcept C41895202 @default.
- W2030239375 hasConcept C45374587 @default.
- W2030239375 hasConcept C48103436 @default.
- W2030239375 hasConcept C489000 @default.
- W2030239375 hasConcept C77088390 @default.
- W2030239375 hasConcept C80444323 @default.
- W2030239375 hasConcept C88468194 @default.
- W2030239375 hasConcept C97686452 @default.
- W2030239375 hasConcept C98183937 @default.
- W2030239375 hasConceptScore W2030239375C111472728 @default.
- W2030239375 hasConceptScore W2030239375C124101348 @default.
- W2030239375 hasConceptScore W2030239375C138885662 @default.
- W2030239375 hasConceptScore W2030239375C177264268 @default.
- W2030239375 hasConceptScore W2030239375C199360897 @default.
- W2030239375 hasConceptScore W2030239375C2524010 @default.
- W2030239375 hasConceptScore W2030239375C27458966 @default.
- W2030239375 hasConceptScore W2030239375C2779136372 @default.
- W2030239375 hasConceptScore W2030239375C2780586882 @default.
- W2030239375 hasConceptScore W2030239375C33923547 @default.
- W2030239375 hasConceptScore W2030239375C38349280 @default.
- W2030239375 hasConceptScore W2030239375C41008148 @default.
- W2030239375 hasConceptScore W2030239375C41895202 @default.
- W2030239375 hasConceptScore W2030239375C45374587 @default.
- W2030239375 hasConceptScore W2030239375C48103436 @default.
- W2030239375 hasConceptScore W2030239375C489000 @default.
- W2030239375 hasConceptScore W2030239375C77088390 @default.
- W2030239375 hasConceptScore W2030239375C80444323 @default.
- W2030239375 hasConceptScore W2030239375C88468194 @default.
- W2030239375 hasConceptScore W2030239375C97686452 @default.
- W2030239375 hasConceptScore W2030239375C98183937 @default.
- W2030239375 hasLocation W20302393751 @default.
- W2030239375 hasOpenAccess W2030239375 @default.
- W2030239375 hasPrimaryLocation W20302393751 @default.
- W2030239375 hasRelatedWork W125106562 @default.
- W2030239375 hasRelatedWork W167278060 @default.
- W2030239375 hasRelatedWork W2044768460 @default.
- W2030239375 hasRelatedWork W2064831639 @default.
- W2030239375 hasRelatedWork W2064880497 @default.
- W2030239375 hasRelatedWork W2096326188 @default.
- W2030239375 hasRelatedWork W2104219297 @default.
- W2030239375 hasRelatedWork W2181188171 @default.
- W2030239375 hasRelatedWork W2298387877 @default.
- W2030239375 hasRelatedWork W23267104 @default.
- W2030239375 hasRelatedWork W2330593560 @default.
- W2030239375 hasRelatedWork W2619592429 @default.
- W2030239375 hasRelatedWork W2805517443 @default.
- W2030239375 hasRelatedWork W2809162343 @default.
- W2030239375 hasRelatedWork W2901463908 @default.
- W2030239375 hasRelatedWork W290366832 @default.
- W2030239375 hasRelatedWork W2943343800 @default.
- W2030239375 hasRelatedWork W3022825686 @default.
- W2030239375 hasRelatedWork W3120011499 @default.
- W2030239375 hasRelatedWork W37990230 @default.
- W2030239375 isParatext "false" @default.
- W2030239375 isRetracted "false" @default.
- W2030239375 magId "2030239375" @default.
- W2030239375 workType "article" @default.