Matches in SemOpenAlex for { <https://semopenalex.org/work/W8020797> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W8020797 abstract "An essential security goal of mobile code platforms is to protect confidential data against untrusted third-party applications; yet, prevailing mechanisms for ensuring confidentiality of mobile code are limited to sequential programs, whereas existing applications are generally concurrent. To bridge this gap, we develop a sound information-flow type system for a JVM-like, low-level concurrent object-oriented language. The type system builds upon existing solutions for object-oriented languages and concurrency, solving a number of intricate issues in their combination. Moreover, we connect the type system for bytecode programs to a type system for Java programs, extending the results of type-preserving compilation developed in earlier works." @default.
- W8020797 created "2016-06-24" @default.
- W8020797 creator A5053982125 @default.
- W8020797 creator A5075577852 @default.
- W8020797 date "2012-01-01" @default.
- W8020797 modified "2023-09-27" @default.
- W8020797 title "Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language" @default.
- W8020797 cites W1511116625 @default.
- W8020797 cites W1597778235 @default.
- W8020797 cites W2057503672 @default.
- W8020797 cites W2075849836 @default.
- W8020797 cites W2102917576 @default.
- W8020797 cites W2117723002 @default.
- W8020797 cites W2118198367 @default.
- W8020797 cites W2153155256 @default.
- W8020797 cites W2158126684 @default.
- W8020797 cites W2166542433 @default.
- W8020797 cites W2794492082 @default.
- W8020797 doi "https://doi.org/10.1007/978-3-642-30065-3_5" @default.
- W8020797 hasPublicationYear "2012" @default.
- W8020797 type Work @default.
- W8020797 sameAs 8020797 @default.
- W8020797 citedByCount "2" @default.
- W8020797 countsByYear W80207972013 @default.
- W8020797 countsByYear W80207972016 @default.
- W8020797 crossrefType "book-chapter" @default.
- W8020797 hasAuthorship W8020797A5053982125 @default.
- W8020797 hasAuthorship W8020797A5075577852 @default.
- W8020797 hasConcept C111919701 @default.
- W8020797 hasConcept C132106392 @default.
- W8020797 hasConcept C138885662 @default.
- W8020797 hasConcept C168702491 @default.
- W8020797 hasConcept C17744445 @default.
- W8020797 hasConcept C193702766 @default.
- W8020797 hasConcept C199360897 @default.
- W8020797 hasConcept C199539241 @default.
- W8020797 hasConcept C2777472213 @default.
- W8020797 hasConcept C2779136372 @default.
- W8020797 hasConcept C2779777834 @default.
- W8020797 hasConcept C2779818221 @default.
- W8020797 hasConcept C38652104 @default.
- W8020797 hasConcept C41008148 @default.
- W8020797 hasConcept C41895202 @default.
- W8020797 hasConcept C548217200 @default.
- W8020797 hasConcept C73752529 @default.
- W8020797 hasConceptScore W8020797C111919701 @default.
- W8020797 hasConceptScore W8020797C132106392 @default.
- W8020797 hasConceptScore W8020797C138885662 @default.
- W8020797 hasConceptScore W8020797C168702491 @default.
- W8020797 hasConceptScore W8020797C17744445 @default.
- W8020797 hasConceptScore W8020797C193702766 @default.
- W8020797 hasConceptScore W8020797C199360897 @default.
- W8020797 hasConceptScore W8020797C199539241 @default.
- W8020797 hasConceptScore W8020797C2777472213 @default.
- W8020797 hasConceptScore W8020797C2779136372 @default.
- W8020797 hasConceptScore W8020797C2779777834 @default.
- W8020797 hasConceptScore W8020797C2779818221 @default.
- W8020797 hasConceptScore W8020797C38652104 @default.
- W8020797 hasConceptScore W8020797C41008148 @default.
- W8020797 hasConceptScore W8020797C41895202 @default.
- W8020797 hasConceptScore W8020797C548217200 @default.
- W8020797 hasConceptScore W8020797C73752529 @default.
- W8020797 hasLocation W80207971 @default.
- W8020797 hasOpenAccess W8020797 @default.
- W8020797 hasPrimaryLocation W80207971 @default.
- W8020797 hasRelatedWork W1840808535 @default.
- W8020797 hasRelatedWork W2017255155 @default.
- W8020797 hasRelatedWork W2018511218 @default.
- W8020797 hasRelatedWork W2020136418 @default.
- W8020797 hasRelatedWork W2058843773 @default.
- W8020797 hasRelatedWork W2066349785 @default.
- W8020797 hasRelatedWork W2072885133 @default.
- W8020797 hasRelatedWork W2081534288 @default.
- W8020797 hasRelatedWork W2149603369 @default.
- W8020797 hasRelatedWork W2155672019 @default.
- W8020797 hasRelatedWork W2402418283 @default.
- W8020797 hasRelatedWork W2460303848 @default.
- W8020797 hasRelatedWork W2572695217 @default.
- W8020797 hasRelatedWork W2590252720 @default.
- W8020797 hasRelatedWork W2810548630 @default.
- W8020797 hasRelatedWork W29925566 @default.
- W8020797 hasRelatedWork W3003924071 @default.
- W8020797 hasRelatedWork W3004893380 @default.
- W8020797 hasRelatedWork W62998173 @default.
- W8020797 hasRelatedWork W2120320613 @default.
- W8020797 isParatext "false" @default.
- W8020797 isRetracted "false" @default.
- W8020797 magId "8020797" @default.
- W8020797 workType "book-chapter" @default.