Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109456486> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2109456486 abstract "For an organization that depends on software for important parts of its mission, safety and security in such software are major concerns. Although there is a growing number of tools that can be helpful in identifying unintentionally inserted safety or security flaws, the possibility of intentionally inserted flaws or back doors can no longer be ignored. Fundamentally, an intentionally inserted back door can only be recognized by the fact that it does more rather than less of what it is supposed to do. For example, a function that is expected to only query the balance of a bank account, may also, as a side-effect under special circumstances that are unlikely to be encountered during testing, transfer money between accounts. To locate such hidden side-effects, it requires that the semantics of each function somehow be extracted from the source code and presented to a reviewer in a way that allows them to recognize inappropriate actions. In this paper we describe scanning technology that can automatically extract the pre- and post-conditions of every function in the system, including both direct and indirect effects of each function, and present these to a reviewer in human-comprehensible terms. For each external entry point into the system, the postconditions in particular may then be compared against the expected effects of the function, and where potentially inappropriate side- effects are identified, these effects may be traced down through the program to the point where they occur." @default.
- W2109456486 created "2016-06-24" @default.
- W2109456486 creator A5023671470 @default.
- W2109456486 date "2008-05-01" @default.
- W2109456486 modified "2023-09-25" @default.
- W2109456486 title "Systematic Scanning for Malicious Source Code" @default.
- W2109456486 doi "https://doi.org/10.1109/ths.2008.4534444" @default.
- W2109456486 hasPublicationYear "2008" @default.
- W2109456486 type Work @default.
- W2109456486 sameAs 2109456486 @default.
- W2109456486 citedByCount "0" @default.
- W2109456486 crossrefType "proceedings-article" @default.
- W2109456486 hasAuthorship W2109456486A5023671470 @default.
- W2109456486 hasConcept C111919701 @default.
- W2109456486 hasConcept C112930515 @default.
- W2109456486 hasConcept C125209513 @default.
- W2109456486 hasConcept C14036430 @default.
- W2109456486 hasConcept C144133560 @default.
- W2109456486 hasConcept C177264268 @default.
- W2109456486 hasConcept C184337299 @default.
- W2109456486 hasConcept C199360897 @default.
- W2109456486 hasConcept C2524010 @default.
- W2109456486 hasConcept C2776760102 @default.
- W2109456486 hasConcept C2777904410 @default.
- W2109456486 hasConcept C28719098 @default.
- W2109456486 hasConcept C33923547 @default.
- W2109456486 hasConcept C38652104 @default.
- W2109456486 hasConcept C41008148 @default.
- W2109456486 hasConcept C43126263 @default.
- W2109456486 hasConcept C78458016 @default.
- W2109456486 hasConcept C86803240 @default.
- W2109456486 hasConceptScore W2109456486C111919701 @default.
- W2109456486 hasConceptScore W2109456486C112930515 @default.
- W2109456486 hasConceptScore W2109456486C125209513 @default.
- W2109456486 hasConceptScore W2109456486C14036430 @default.
- W2109456486 hasConceptScore W2109456486C144133560 @default.
- W2109456486 hasConceptScore W2109456486C177264268 @default.
- W2109456486 hasConceptScore W2109456486C184337299 @default.
- W2109456486 hasConceptScore W2109456486C199360897 @default.
- W2109456486 hasConceptScore W2109456486C2524010 @default.
- W2109456486 hasConceptScore W2109456486C2776760102 @default.
- W2109456486 hasConceptScore W2109456486C2777904410 @default.
- W2109456486 hasConceptScore W2109456486C28719098 @default.
- W2109456486 hasConceptScore W2109456486C33923547 @default.
- W2109456486 hasConceptScore W2109456486C38652104 @default.
- W2109456486 hasConceptScore W2109456486C41008148 @default.
- W2109456486 hasConceptScore W2109456486C43126263 @default.
- W2109456486 hasConceptScore W2109456486C78458016 @default.
- W2109456486 hasConceptScore W2109456486C86803240 @default.
- W2109456486 hasLocation W21094564861 @default.
- W2109456486 hasOpenAccess W2109456486 @default.
- W2109456486 hasPrimaryLocation W21094564861 @default.
- W2109456486 hasRelatedWork W1480961335 @default.
- W2109456486 hasRelatedWork W1536661907 @default.
- W2109456486 hasRelatedWork W1601105903 @default.
- W2109456486 hasRelatedWork W1994632626 @default.
- W2109456486 hasRelatedWork W2011929444 @default.
- W2109456486 hasRelatedWork W2031419714 @default.
- W2109456486 hasRelatedWork W2034797990 @default.
- W2109456486 hasRelatedWork W2035042683 @default.
- W2109456486 hasRelatedWork W2078302299 @default.
- W2109456486 hasRelatedWork W2153246402 @default.
- W2109456486 hasRelatedWork W2158186850 @default.
- W2109456486 hasRelatedWork W2166203496 @default.
- W2109456486 hasRelatedWork W2168490769 @default.
- W2109456486 hasRelatedWork W2280385592 @default.
- W2109456486 hasRelatedWork W2301457239 @default.
- W2109456486 hasRelatedWork W2336040589 @default.
- W2109456486 hasRelatedWork W2359148904 @default.
- W2109456486 hasRelatedWork W2482168564 @default.
- W2109456486 hasRelatedWork W593307367 @default.
- W2109456486 hasRelatedWork W2584767962 @default.
- W2109456486 isParatext "false" @default.
- W2109456486 isRetracted "false" @default.
- W2109456486 magId "2109456486" @default.
- W2109456486 workType "article" @default.