Matches in SemOpenAlex for { <https://semopenalex.org/work/W1987291121> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1987291121 abstract "This paper deals with the problem of protect the confidentiality of data manipulated by sequential programs. In this context, secure information flow refers to the guarantee that program executions are free of non authorized flows of secret information into public channels. There are two established means to enforce information flow policies: static analyses, that are performed at compile time and guarantee that all program executions are free of unauthorized flows; and runtime monitoring, that dynamically detects and neutralizes invalid flows for the current run.Both approaches have their advantages and disadvantages. The main disadvantages of static information flow control (IFC) is, that it does not differentiate between secure and insecure executions of the same program, therefore whole programs are rejected in presence of possible invalid flows. On the contrary, dynamic IFC rejects insecure executions only. This analysis precision comes at the price of the execution overload that imposes the dynamic tracking of information flow.This work presents secure slicing, a technique that statically transforms probably insecure (interfering) programs into secure (non-interfering) ones. Our approach combines static analysis of information flow and program transformation: if invalid flows are detected, instead of rejecting the whole program, we transform it to eliminate the invalid flows. This way, we alleviate drawbacks of static and dynamic approaches: neither we reject full programs nor we impose run-time overhead. The resulting program can be seen as a secure slice of the source program that can be executed without risk of information leaks.In this work we also show that secure slices can be computed for programs that intentionally release secret information, and that the technique can be applied to real programming languages such as Java." @default.
- W1987291121 created "2016-06-24" @default.
- W1987291121 creator A5035348550 @default.
- W1987291121 date "2008-03-18" @default.
- W1987291121 modified "2023-09-26" @default.
- W1987291121 title "Secure slices of insecure programs" @default.
- W1987291121 cites W1978068196 @default.
- W1987291121 cites W1985509776 @default.
- W1987291121 cites W2007121005 @default.
- W1987291121 cites W2054383157 @default.
- W1987291121 cites W2067012475 @default.
- W1987291121 cites W2076807040 @default.
- W1987291121 cites W2094873755 @default.
- W1987291121 cites W2099137371 @default.
- W1987291121 cites W2100257475 @default.
- W1987291121 cites W2101152030 @default.
- W1987291121 cites W2106837287 @default.
- W1987291121 cites W2116236474 @default.
- W1987291121 cites W2122049982 @default.
- W1987291121 cites W2129278597 @default.
- W1987291121 cites W2139093088 @default.
- W1987291121 cites W2144019036 @default.
- W1987291121 cites W2144344516 @default.
- W1987291121 cites W2158126684 @default.
- W1987291121 cites W2166542433 @default.
- W1987291121 cites W3148654751 @default.
- W1987291121 doi "https://doi.org/10.1145/1368310.1368329" @default.
- W1987291121 hasPublicationYear "2008" @default.
- W1987291121 type Work @default.
- W1987291121 sameAs 1987291121 @default.
- W1987291121 citedByCount "9" @default.
- W1987291121 countsByYear W19872911212012 @default.
- W1987291121 countsByYear W19872911212014 @default.
- W1987291121 countsByYear W19872911212015 @default.
- W1987291121 countsByYear W19872911212016 @default.
- W1987291121 crossrefType "proceedings-article" @default.
- W1987291121 hasAuthorship W1987291121A5035348550 @default.
- W1987291121 hasConcept C38652104 @default.
- W1987291121 hasConcept C41008148 @default.
- W1987291121 hasConceptScore W1987291121C38652104 @default.
- W1987291121 hasConceptScore W1987291121C41008148 @default.
- W1987291121 hasLocation W19872911211 @default.
- W1987291121 hasOpenAccess W1987291121 @default.
- W1987291121 hasPrimaryLocation W19872911211 @default.
- W1987291121 hasRelatedWork W2030496847 @default.
- W1987291121 hasRelatedWork W2093578348 @default.
- W1987291121 hasRelatedWork W2358668433 @default.
- W1987291121 hasRelatedWork W2376932109 @default.
- W1987291121 hasRelatedWork W2382290278 @default.
- W1987291121 hasRelatedWork W2390279801 @default.
- W1987291121 hasRelatedWork W2748952813 @default.
- W1987291121 hasRelatedWork W2899084033 @default.
- W1987291121 hasRelatedWork W3007967230 @default.
- W1987291121 hasRelatedWork W4313313264 @default.
- W1987291121 isParatext "false" @default.
- W1987291121 isRetracted "false" @default.
- W1987291121 magId "1987291121" @default.
- W1987291121 workType "article" @default.