Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044768460> ?p ?o ?g. }
- W2044768460 abstract "Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, current information-flow reporting techniques are inadequate for determining the cause of the error. Reasoning about information-flow errors can be difficult, as the flows involved can be quite subtle. We present a general model for information-flow blame that can explain the source of such security errors in code. This model is implemented by changing the information-flow verification procedure to: (1) generate supplementary information to reveal otherwise hidden program dependencies; (2) modify the constraint solver to construct a blame dependency graph; and (3) develop an explanation procedure that returns a complete and minimal error report. Our experiments show that information-flow errors can generally be explained and resolved by viewing only a small fraction of the total code." @default.
- W2044768460 created "2016-06-24" @default.
- W2044768460 creator A5018020310 @default.
- W2044768460 creator A5055045569 @default.
- W2044768460 creator A5064230639 @default.
- W2044768460 creator A5088826068 @default.
- W2044768460 date "2008-11-09" @default.
- W2044768460 modified "2023-10-18" @default.
- W2044768460 title "Effective blame for information-flow violations" @default.
- W2044768460 cites W1963569294 @default.
- W2044768460 cites W1967866549 @default.
- W2044768460 cites W1982205631 @default.
- W2044768460 cites W2005978190 @default.
- W2044768460 cites W2040669676 @default.
- W2044768460 cites W2045313089 @default.
- W2044768460 cites W2092483417 @default.
- W2044768460 cites W2094873755 @default.
- W2044768460 cites W2100112273 @default.
- W2044768460 cites W2116409384 @default.
- W2044768460 cites W2123898011 @default.
- W2044768460 cites W2129278597 @default.
- W2044768460 cites W2132449052 @default.
- W2044768460 cites W2142931032 @default.
- W2044768460 cites W2151583273 @default.
- W2044768460 cites W2154385894 @default.
- W2044768460 cites W2158126684 @default.
- W2044768460 cites W2158870716 @default.
- W2044768460 cites W3100198463 @default.
- W2044768460 doi "https://doi.org/10.1145/1453101.1453135" @default.
- W2044768460 hasPublicationYear "2008" @default.
- W2044768460 type Work @default.
- W2044768460 sameAs 2044768460 @default.
- W2044768460 citedByCount "15" @default.
- W2044768460 countsByYear W20447684602013 @default.
- W2044768460 countsByYear W20447684602014 @default.
- W2044768460 countsByYear W20447684602016 @default.
- W2044768460 countsByYear W20447684602017 @default.
- W2044768460 countsByYear W20447684602018 @default.
- W2044768460 countsByYear W20447684602019 @default.
- W2044768460 crossrefType "proceedings-article" @default.
- W2044768460 hasAuthorship W2044768460A5018020310 @default.
- W2044768460 hasAuthorship W2044768460A5055045569 @default.
- W2044768460 hasAuthorship W2044768460A5064230639 @default.
- W2044768460 hasAuthorship W2044768460A5088826068 @default.
- W2044768460 hasConcept C11413529 @default.
- W2044768460 hasConcept C124101348 @default.
- W2044768460 hasConcept C132525143 @default.
- W2044768460 hasConcept C138885662 @default.
- W2044768460 hasConcept C15744967 @default.
- W2044768460 hasConcept C16311509 @default.
- W2044768460 hasConcept C199360897 @default.
- W2044768460 hasConcept C2524010 @default.
- W2044768460 hasConcept C27458966 @default.
- W2044768460 hasConcept C2776036281 @default.
- W2044768460 hasConcept C2779136372 @default.
- W2044768460 hasConcept C2780801425 @default.
- W2044768460 hasConcept C2781466463 @default.
- W2044768460 hasConcept C33923547 @default.
- W2044768460 hasConcept C38349280 @default.
- W2044768460 hasConcept C38652104 @default.
- W2044768460 hasConcept C41008148 @default.
- W2044768460 hasConcept C41895202 @default.
- W2044768460 hasConcept C77805123 @default.
- W2044768460 hasConcept C80444323 @default.
- W2044768460 hasConceptScore W2044768460C11413529 @default.
- W2044768460 hasConceptScore W2044768460C124101348 @default.
- W2044768460 hasConceptScore W2044768460C132525143 @default.
- W2044768460 hasConceptScore W2044768460C138885662 @default.
- W2044768460 hasConceptScore W2044768460C15744967 @default.
- W2044768460 hasConceptScore W2044768460C16311509 @default.
- W2044768460 hasConceptScore W2044768460C199360897 @default.
- W2044768460 hasConceptScore W2044768460C2524010 @default.
- W2044768460 hasConceptScore W2044768460C27458966 @default.
- W2044768460 hasConceptScore W2044768460C2776036281 @default.
- W2044768460 hasConceptScore W2044768460C2779136372 @default.
- W2044768460 hasConceptScore W2044768460C2780801425 @default.
- W2044768460 hasConceptScore W2044768460C2781466463 @default.
- W2044768460 hasConceptScore W2044768460C33923547 @default.
- W2044768460 hasConceptScore W2044768460C38349280 @default.
- W2044768460 hasConceptScore W2044768460C38652104 @default.
- W2044768460 hasConceptScore W2044768460C41008148 @default.
- W2044768460 hasConceptScore W2044768460C41895202 @default.
- W2044768460 hasConceptScore W2044768460C77805123 @default.
- W2044768460 hasConceptScore W2044768460C80444323 @default.
- W2044768460 hasLocation W20447684601 @default.
- W2044768460 hasOpenAccess W2044768460 @default.
- W2044768460 hasPrimaryLocation W20447684601 @default.
- W2044768460 hasRelatedWork W1991170558 @default.
- W2044768460 hasRelatedWork W2054818611 @default.
- W2044768460 hasRelatedWork W2144527026 @default.
- W2044768460 hasRelatedWork W2379773790 @default.
- W2044768460 hasRelatedWork W2386721913 @default.
- W2044768460 hasRelatedWork W2422195048 @default.
- W2044768460 hasRelatedWork W2595205408 @default.
- W2044768460 hasRelatedWork W2614382400 @default.
- W2044768460 hasRelatedWork W2964145245 @default.
- W2044768460 hasRelatedWork W3200266554 @default.
- W2044768460 isParatext "false" @default.
- W2044768460 isRetracted "false" @default.
- W2044768460 magId "2044768460" @default.