Matches in SemOpenAlex for { <https://semopenalex.org/work/W2514455890> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2514455890 abstract "This thesis addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality and integrity. Existing work on information flow inference for object-oriented languages does not scale due to lack of modularity. In this thesis we present a constraint-based inference system for secure information flow for a Java-like language with method inheritance and override. The inference is inter-procedural and modular: incremental inference can be performed on individual program components, and result used as libraries for other components. The algorithm uses access control information to improve the precision of the inference. The soundness of the inference algorithm is formally proved. A compiler with a built-in inferencer, SecJ, is implemented to perform the security check on a subset of Java." @default.
- W2514455890 created "2016-09-16" @default.
- W2514455890 creator A5009739199 @default.
- W2514455890 creator A5084553391 @default.
- W2514455890 date "2007-01-01" @default.
- W2514455890 modified "2023-09-23" @default.
- W2514455890 title "Constraint-based modular secure information flow inference for object-oriented programs" @default.
- W2514455890 cites W1504304758 @default.
- W2514455890 cites W1509492903 @default.
- W2514455890 cites W1550052476 @default.
- W2514455890 cites W1569068078 @default.
- W2514455890 cites W1576727331 @default.
- W2514455890 cites W1594760592 @default.
- W2514455890 cites W1769319322 @default.
- W2514455890 cites W180941769 @default.
- W2514455890 cites W1898399499 @default.
- W2514455890 cites W1959256509 @default.
- W2514455890 cites W1964952791 @default.
- W2514455890 cites W1973336874 @default.
- W2514455890 cites W1977764760 @default.
- W2514455890 cites W1991895580 @default.
- W2514455890 cites W1997775274 @default.
- W2514455890 cites W2062727459 @default.
- W2514455890 cites W2067012475 @default.
- W2514455890 cites W2094873755 @default.
- W2514455890 cites W2099499856 @default.
- W2514455890 cites W2104152314 @default.
- W2514455890 cites W2113660296 @default.
- W2514455890 cites W2127172188 @default.
- W2514455890 cites W2129894194 @default.
- W2514455890 cites W2131916295 @default.
- W2514455890 cites W2134296086 @default.
- W2514455890 cites W2134927156 @default.
- W2514455890 cites W2135103842 @default.
- W2514455890 cites W2162022335 @default.
- W2514455890 cites W2169136701 @default.
- W2514455890 cites W3033571618 @default.
- W2514455890 hasPublicationYear "2007" @default.
- W2514455890 type Work @default.
- W2514455890 sameAs 2514455890 @default.
- W2514455890 citedByCount "2" @default.
- W2514455890 countsByYear W25144558902012 @default.
- W2514455890 countsByYear W25144558902016 @default.
- W2514455890 crossrefType "journal-article" @default.
- W2514455890 hasAuthorship W2514455890A5009739199 @default.
- W2514455890 hasAuthorship W2514455890A5084553391 @default.
- W2514455890 hasConcept C101468663 @default.
- W2514455890 hasConcept C138885662 @default.
- W2514455890 hasConcept C154945302 @default.
- W2514455890 hasConcept C198370458 @default.
- W2514455890 hasConcept C199360897 @default.
- W2514455890 hasConcept C2776214188 @default.
- W2514455890 hasConcept C2779136372 @default.
- W2514455890 hasConcept C2781238097 @default.
- W2514455890 hasConcept C39920170 @default.
- W2514455890 hasConcept C41008148 @default.
- W2514455890 hasConcept C41895202 @default.
- W2514455890 hasConcept C548217200 @default.
- W2514455890 hasConcept C80444323 @default.
- W2514455890 hasConceptScore W2514455890C101468663 @default.
- W2514455890 hasConceptScore W2514455890C138885662 @default.
- W2514455890 hasConceptScore W2514455890C154945302 @default.
- W2514455890 hasConceptScore W2514455890C198370458 @default.
- W2514455890 hasConceptScore W2514455890C199360897 @default.
- W2514455890 hasConceptScore W2514455890C2776214188 @default.
- W2514455890 hasConceptScore W2514455890C2779136372 @default.
- W2514455890 hasConceptScore W2514455890C2781238097 @default.
- W2514455890 hasConceptScore W2514455890C39920170 @default.
- W2514455890 hasConceptScore W2514455890C41008148 @default.
- W2514455890 hasConceptScore W2514455890C41895202 @default.
- W2514455890 hasConceptScore W2514455890C548217200 @default.
- W2514455890 hasConceptScore W2514455890C80444323 @default.
- W2514455890 hasLocation W25144558901 @default.
- W2514455890 hasOpenAccess W2514455890 @default.
- W2514455890 hasPrimaryLocation W25144558901 @default.
- W2514455890 hasRelatedWork W1499478092 @default.
- W2514455890 hasRelatedWork W1506796540 @default.
- W2514455890 hasRelatedWork W1575285397 @default.
- W2514455890 hasRelatedWork W1663061001 @default.
- W2514455890 hasRelatedWork W1690602104 @default.
- W2514455890 hasRelatedWork W1828782849 @default.
- W2514455890 hasRelatedWork W1975691680 @default.
- W2514455890 hasRelatedWork W1989344282 @default.
- W2514455890 hasRelatedWork W2025466687 @default.
- W2514455890 hasRelatedWork W2026892751 @default.
- W2514455890 hasRelatedWork W2148671421 @default.
- W2514455890 hasRelatedWork W2155942461 @default.
- W2514455890 hasRelatedWork W2291696597 @default.
- W2514455890 hasRelatedWork W2466795713 @default.
- W2514455890 hasRelatedWork W2752700320 @default.
- W2514455890 hasRelatedWork W2824429000 @default.
- W2514455890 hasRelatedWork W2952847348 @default.
- W2514455890 hasRelatedWork W36703535 @default.
- W2514455890 hasRelatedWork W61218094 @default.
- W2514455890 hasRelatedWork W2168607550 @default.
- W2514455890 isParatext "false" @default.
- W2514455890 isRetracted "false" @default.
- W2514455890 magId "2514455890" @default.
- W2514455890 workType "article" @default.