FRINK Linked Data Fragments server

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

• W2614382400 abstract "In this paper we present flow-sensitive analysis for secure information flow for Java bytecode. Our approach consists in computing, at different program points, dependency graph which tracks how input values of method may influence its outputs. This computation subsumes points-to analysis (reflecting how objects depend on each others) by addressing dependencies arising from data of primitive type and from the control flow of the program. Our graph construction is proved to be sound by establishing non-interference theorem stating that an output value is unrelated with an input one in the dependency graph if the output remains unchanged when the input is modified. In contrast with many type-based information flow techniques, our approach does not require security levels to be known during the computation of the graph: security aspects of information flow are checked by labeling a posteriori the dependency graph with security levels." @default.
• W2614382400 created "2017-05-26" @default.
• W2614382400 creator A5059613487 @default.
• W2614382400 creator A5061449037 @default.
• W2614382400 creator A5064289290 @default.
• W2614382400 date "2007-01-01" @default.
• W2614382400 modified "2023-09-27" @default.
• W2614382400 title "A sound dependency analysis for secure information flow (extended version)" @default.
• W2614382400 cites W1548432452 @default.
• W2614382400 cites W1553894716 @default.
• W2614382400 cites W1577894784 @default.
• W2614382400 cites W1996146601 @default.
• W2614382400 cites W2002997445 @default.
• W2614382400 cites W2005334135 @default.
• W2614382400 cites W2047881370 @default.
• W2614382400 cites W2077850509 @default.
• W2614382400 cites W2094873755 @default.
• W2614382400 cites W2122049982 @default.
• W2614382400 cites W2127163775 @default.
• W2614382400 cites W2149237601 @default.
• W2614382400 cites W2149465027 @default.
• W2614382400 cites W2150174204 @default.
• W2614382400 cites W2158126684 @default.
• W2614382400 cites W2172022734 @default.
• W2614382400 cites W2307322691 @default.
• W2614382400 cites W4015096 @default.
• W2614382400 cites W4962619 @default.
• W2614382400 hasPublicationYear "2007" @default.
• W2614382400 type Work @default.
• W2614382400 sameAs 2614382400 @default.
• W2614382400 citedByCount "0" @default.
• W2614382400 crossrefType "journal-article" @default.
• W2614382400 hasAuthorship W2614382400A5059613487 @default.
• W2614382400 hasAuthorship W2614382400A5061449037 @default.
• W2614382400 hasAuthorship W2614382400A5064289290 @default.
• W2614382400 hasConcept C102379954 @default.
• W2614382400 hasConcept C111472728 @default.
• W2614382400 hasConcept C11413529 @default.
• W2614382400 hasConcept C132525143 @default.
• W2614382400 hasConcept C138885662 @default.
• W2614382400 hasConcept C154945302 @default.
• W2614382400 hasConcept C15524039 @default.
• W2614382400 hasConcept C16311509 @default.
• W2614382400 hasConcept C168702491 @default.
• W2614382400 hasConcept C19768560 @default.
• W2614382400 hasConcept C199360897 @default.
• W2614382400 hasConcept C27458966 @default.
• W2614382400 hasConcept C2777472213 @default.
• W2614382400 hasConcept C2779136372 @default.
• W2614382400 hasConcept C41008148 @default.
• W2614382400 hasConcept C41895202 @default.
• W2614382400 hasConcept C489000 @default.
• W2614382400 hasConcept C548217200 @default.
• W2614382400 hasConcept C75553542 @default.
• W2614382400 hasConcept C77088390 @default.
• W2614382400 hasConcept C80444323 @default.
• W2614382400 hasConcept C88468194 @default.
• W2614382400 hasConceptScore W2614382400C102379954 @default.
• W2614382400 hasConceptScore W2614382400C111472728 @default.
• W2614382400 hasConceptScore W2614382400C11413529 @default.
• W2614382400 hasConceptScore W2614382400C132525143 @default.
• W2614382400 hasConceptScore W2614382400C138885662 @default.
• W2614382400 hasConceptScore W2614382400C154945302 @default.
• W2614382400 hasConceptScore W2614382400C15524039 @default.
• W2614382400 hasConceptScore W2614382400C16311509 @default.
• W2614382400 hasConceptScore W2614382400C168702491 @default.
• W2614382400 hasConceptScore W2614382400C19768560 @default.
• W2614382400 hasConceptScore W2614382400C199360897 @default.
• W2614382400 hasConceptScore W2614382400C27458966 @default.
• W2614382400 hasConceptScore W2614382400C2777472213 @default.
• W2614382400 hasConceptScore W2614382400C2779136372 @default.
• W2614382400 hasConceptScore W2614382400C41008148 @default.
• W2614382400 hasConceptScore W2614382400C41895202 @default.
• W2614382400 hasConceptScore W2614382400C489000 @default.
• W2614382400 hasConceptScore W2614382400C548217200 @default.
• W2614382400 hasConceptScore W2614382400C75553542 @default.
• W2614382400 hasConceptScore W2614382400C77088390 @default.
• W2614382400 hasConceptScore W2614382400C80444323 @default.
• W2614382400 hasConceptScore W2614382400C88468194 @default.
• W2614382400 hasLocation W26143824001 @default.
• W2614382400 hasOpenAccess W2614382400 @default.
• W2614382400 hasPrimaryLocation W26143824001 @default.
• W2614382400 hasRelatedWork W1509153591 @default.
• W2614382400 hasRelatedWork W1545452863 @default.
• W2614382400 hasRelatedWork W1580037575 @default.
• W2614382400 hasRelatedWork W1604283100 @default.
• W2614382400 hasRelatedWork W1677933461 @default.
• W2614382400 hasRelatedWork W1889892273 @default.
• W2614382400 hasRelatedWork W2006370436 @default.
• W2614382400 hasRelatedWork W2034103799 @default.
• W2614382400 hasRelatedWork W2034527657 @default.
• W2614382400 hasRelatedWork W2053378209 @default.
• W2614382400 hasRelatedWork W2096067805 @default.
• W2614382400 hasRelatedWork W2111825754 @default.
• W2614382400 hasRelatedWork W2169953045 @default.
• W2614382400 hasRelatedWork W2231439960 @default.
• W2614382400 hasRelatedWork W2349639756 @default.
• W2614382400 hasRelatedWork W2902805515 @default.
• W2614382400 hasRelatedWork W3188068858 @default.
• W2614382400 hasRelatedWork W630634248 @default.

• next