Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158126684> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2158126684 abstract "A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work has proposed programming language extensions to allow this static checking, the resulting languages are too restrictive for practical use and have not been implemented. In this paper, we describe the new language JFlow, an extension to the Java language that adds statically-checked information flow annotations. JFlow provides several new features that make information flow checking more flexible and convenient than in previous models: a decentralized label model, label polymorphism, run-time label checking, and automatic label inference. JFlow also supports many language features that have never been integrated successfully with static information flow control, including objects, subclassing, dynamic type tests, access control, and exceptions. This paper defines the JFlow language and presents formal rules that are used to check JFlow programs for correctness. Because most checking is static, there is little code space, data space, or run-time overhead in the JFlow implementation." @default.
- W2158126684 created "2016-06-24" @default.
- W2158126684 creator A5043823677 @default.
- W2158126684 date "1999-01-01" @default.
- W2158126684 modified "2023-10-14" @default.
- W2158126684 title "JFlow" @default.
- W2158126684 cites W1976037740 @default.
- W2158126684 cites W1987203566 @default.
- W2158126684 cites W1993302007 @default.
- W2158126684 cites W2002188117 @default.
- W2158126684 cites W2016017569 @default.
- W2158126684 cites W2026586515 @default.
- W2158126684 cites W2057503672 @default.
- W2158126684 cites W2094873755 @default.
- W2158126684 cites W2097404228 @default.
- W2158126684 cites W2099137371 @default.
- W2158126684 cites W2117534212 @default.
- W2158126684 cites W2129278597 @default.
- W2158126684 cites W2136296832 @default.
- W2158126684 cites W2150174204 @default.
- W2158126684 cites W3007206444 @default.
- W2158126684 doi "https://doi.org/10.1145/292540.292561" @default.
- W2158126684 hasPublicationYear "1999" @default.
- W2158126684 type Work @default.
- W2158126684 sameAs 2158126684 @default.
- W2158126684 citedByCount "933" @default.
- W2158126684 countsByYear W21581266842012 @default.
- W2158126684 countsByYear W21581266842013 @default.
- W2158126684 countsByYear W21581266842014 @default.
- W2158126684 countsByYear W21581266842015 @default.
- W2158126684 countsByYear W21581266842016 @default.
- W2158126684 countsByYear W21581266842017 @default.
- W2158126684 countsByYear W21581266842018 @default.
- W2158126684 countsByYear W21581266842019 @default.
- W2158126684 countsByYear W21581266842020 @default.
- W2158126684 countsByYear W21581266842021 @default.
- W2158126684 countsByYear W21581266842022 @default.
- W2158126684 countsByYear W21581266842023 @default.
- W2158126684 crossrefType "proceedings-article" @default.
- W2158126684 hasAuthorship W2158126684A5043823677 @default.
- W2158126684 hasBestOaLocation W21581266841 @default.
- W2158126684 hasConcept C110251889 @default.
- W2158126684 hasConcept C138885662 @default.
- W2158126684 hasConcept C160191386 @default.
- W2158126684 hasConcept C199360897 @default.
- W2158126684 hasConcept C2779136372 @default.
- W2158126684 hasConcept C41008148 @default.
- W2158126684 hasConcept C41895202 @default.
- W2158126684 hasConcept C489000 @default.
- W2158126684 hasConcept C548217200 @default.
- W2158126684 hasConcept C55439883 @default.
- W2158126684 hasConcept C77088390 @default.
- W2158126684 hasConcept C80444323 @default.
- W2158126684 hasConcept C88468194 @default.
- W2158126684 hasConcept C97686452 @default.
- W2158126684 hasConceptScore W2158126684C110251889 @default.
- W2158126684 hasConceptScore W2158126684C138885662 @default.
- W2158126684 hasConceptScore W2158126684C160191386 @default.
- W2158126684 hasConceptScore W2158126684C199360897 @default.
- W2158126684 hasConceptScore W2158126684C2779136372 @default.
- W2158126684 hasConceptScore W2158126684C41008148 @default.
- W2158126684 hasConceptScore W2158126684C41895202 @default.
- W2158126684 hasConceptScore W2158126684C489000 @default.
- W2158126684 hasConceptScore W2158126684C548217200 @default.
- W2158126684 hasConceptScore W2158126684C55439883 @default.
- W2158126684 hasConceptScore W2158126684C77088390 @default.
- W2158126684 hasConceptScore W2158126684C80444323 @default.
- W2158126684 hasConceptScore W2158126684C88468194 @default.
- W2158126684 hasConceptScore W2158126684C97686452 @default.
- W2158126684 hasLocation W21581266841 @default.
- W2158126684 hasOpenAccess W2158126684 @default.
- W2158126684 hasPrimaryLocation W21581266841 @default.
- W2158126684 hasRelatedWork W1528221867 @default.
- W2158126684 hasRelatedWork W1549956274 @default.
- W2158126684 hasRelatedWork W1980767016 @default.
- W2158126684 hasRelatedWork W2052160877 @default.
- W2158126684 hasRelatedWork W2052485000 @default.
- W2158126684 hasRelatedWork W2111825754 @default.
- W2158126684 hasRelatedWork W2151163382 @default.
- W2158126684 hasRelatedWork W2393150668 @default.
- W2158126684 hasRelatedWork W3022519409 @default.
- W2158126684 hasRelatedWork W94523631 @default.
- W2158126684 isParatext "false" @default.
- W2158126684 isRetracted "false" @default.
- W2158126684 magId "2158126684" @default.
- W2158126684 workType "article" @default.