Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030762383> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2030762383 abstract "Declassification is a vital ingredient for practical use of secure systems. Several recent efforts to formulate an end-to-end policy for declassification seem inconclusive and have focused on apparently different aspects. (e.g., what values are involved, where in the code declassification occurs, when declassification happens and who (which principal) releases information.) In this informal paper, we argue that key security goals addressed by the proposed notions can be expressed using assertions and auxiliary state (such as event history), building on a recently developed logic for noninterference that provides for local reasoning about the heap" @default.
- W2030762383 created "2016-06-24" @default.
- W2030762383 creator A5003706361 @default.
- W2030762383 creator A5009739199 @default.
- W2030762383 creator A5053774397 @default.
- W2030762383 date "2007-06-14" @default.
- W2030762383 modified "2023-09-25" @default.
- W2030762383 title "Towards a logical account of declassification" @default.
- W2030762383 cites W1503761302 @default.
- W2030762383 cites W1522079290 @default.
- W2030762383 cites W1586448612 @default.
- W2030762383 cites W1600990450 @default.
- W2030762383 cites W1819958245 @default.
- W2030762383 cites W1986681115 @default.
- W2030762383 cites W2075849836 @default.
- W2030762383 cites W2095840868 @default.
- W2030762383 cites W2108074136 @default.
- W2030762383 cites W2116236474 @default.
- W2030762383 cites W2121988324 @default.
- W2030762383 cites W2122049982 @default.
- W2030762383 cites W2139799388 @default.
- W2030762383 cites W2143150127 @default.
- W2030762383 cites W2149996206 @default.
- W2030762383 cites W2150174204 @default.
- W2030762383 cites W2158126684 @default.
- W2030762383 cites W2165078378 @default.
- W2030762383 cites W2165765842 @default.
- W2030762383 doi "https://doi.org/10.1145/1255329.1255340" @default.
- W2030762383 hasPublicationYear "2007" @default.
- W2030762383 type Work @default.
- W2030762383 sameAs 2030762383 @default.
- W2030762383 citedByCount "12" @default.
- W2030762383 countsByYear W20307623832012 @default.
- W2030762383 countsByYear W20307623832021 @default.
- W2030762383 crossrefType "proceedings-article" @default.
- W2030762383 hasAuthorship W2030762383A5003706361 @default.
- W2030762383 hasAuthorship W2030762383A5009739199 @default.
- W2030762383 hasAuthorship W2030762383A5053774397 @default.
- W2030762383 hasConcept C199360897 @default.
- W2030762383 hasConcept C41008148 @default.
- W2030762383 hasConceptScore W2030762383C199360897 @default.
- W2030762383 hasConceptScore W2030762383C41008148 @default.
- W2030762383 hasLocation W20307623831 @default.
- W2030762383 hasOpenAccess W2030762383 @default.
- W2030762383 hasPrimaryLocation W20307623831 @default.
- W2030762383 hasRelatedWork W1527862632 @default.
- W2030762383 hasRelatedWork W2109507516 @default.
- W2030762383 hasRelatedWork W2112962394 @default.
- W2030762383 hasRelatedWork W2118300983 @default.
- W2030762383 hasRelatedWork W2135396778 @default.
- W2030762383 hasRelatedWork W2382501300 @default.
- W2030762383 hasRelatedWork W2740990710 @default.
- W2030762383 hasRelatedWork W3137189469 @default.
- W2030762383 hasRelatedWork W4235530921 @default.
- W2030762383 hasRelatedWork W4243252198 @default.
- W2030762383 isParatext "false" @default.
- W2030762383 isRetracted "false" @default.
- W2030762383 magId "2030762383" @default.
- W2030762383 workType "article" @default.