Matches in SemOpenAlex for { <https://semopenalex.org/work/W3199522775> ?p ?o ?g. }
- W3199522775 abstract "Noninterference offers a rigorous end-to-end guarantee for secure propagation of information. However, real-world systems almost always involve security requirements that change during program execution, making noninterference inapplicable. Prior works alleviate the limitation to some extent, but even for a veteran in information flow security, understanding the subtleties in the syntax and semantics of each policy is challenging, largely due to very different policy specification languages, and more fundamentally, semantic requirements of each policy. We take a top-down approach and present a novel information flow policy, called Dynamic Release, which allows information flow restrictions to downgrade and upgrade in arbitrary ways. Dynamic Release is formalized on a novel framework that, for the first time, allows us to compare and contrast various dynamic policies in the literature. We show that Dynamic Release generalizes declassification, erasure, delegation and revocation. Moreover, it is the only dynamic policy that is both applicable and correct on a benchmark of tests with dynamic policy." @default.
- W3199522775 created "2021-09-27" @default.
- W3199522775 creator A5006663587 @default.
- W3199522775 creator A5060394961 @default.
- W3199522775 date "2021-09-16" @default.
- W3199522775 modified "2023-09-23" @default.
- W3199522775 title "Towards a General-Purpose Dynamic Information Flow Policy" @default.
- W3199522775 cites W1510473343 @default.
- W3199522775 cites W1519566437 @default.
- W3199522775 cites W1522146952 @default.
- W3199522775 cites W1569068078 @default.
- W3199522775 cites W1683403723 @default.
- W3199522775 cites W1699577049 @default.
- W3199522775 cites W1771153709 @default.
- W3199522775 cites W1819958245 @default.
- W3199522775 cites W1824760040 @default.
- W3199522775 cites W1856266488 @default.
- W3199522775 cites W1890046864 @default.
- W3199522775 cites W1910149059 @default.
- W3199522775 cites W1966354044 @default.
- W3199522775 cites W1977764760 @default.
- W3199522775 cites W1999056706 @default.
- W3199522775 cites W2022781334 @default.
- W3199522775 cites W2036463966 @default.
- W3199522775 cites W2038711752 @default.
- W3199522775 cites W2094873755 @default.
- W3199522775 cites W2106226772 @default.
- W3199522775 cites W2110904621 @default.
- W3199522775 cites W2116236474 @default.
- W3199522775 cites W2126469755 @default.
- W3199522775 cites W2128487827 @default.
- W3199522775 cites W2130207003 @default.
- W3199522775 cites W2131916295 @default.
- W3199522775 cites W2136296832 @default.
- W3199522775 cites W2138158983 @default.
- W3199522775 cites W2148791173 @default.
- W3199522775 cites W2153684747 @default.
- W3199522775 cites W2154385894 @default.
- W3199522775 cites W2154564703 @default.
- W3199522775 cites W2159436061 @default.
- W3199522775 cites W2162755110 @default.
- W3199522775 cites W2165078378 @default.
- W3199522775 cites W2167160509 @default.
- W3199522775 cites W2228110606 @default.
- W3199522775 cites W2539012550 @default.
- W3199522775 cites W2626643089 @default.
- W3199522775 cites W2628854485 @default.
- W3199522775 cites W2794517010 @default.
- W3199522775 cites W2886179714 @default.
- W3199522775 cites W2887377617 @default.
- W3199522775 cites W2896239678 @default.
- W3199522775 cites W2950519199 @default.
- W3199522775 cites W3009917663 @default.
- W3199522775 cites W3033004131 @default.
- W3199522775 doi "https://doi.org/10.48550/arxiv.2109.08096" @default.
- W3199522775 hasPublicationYear "2021" @default.
- W3199522775 type Work @default.
- W3199522775 sameAs 3199522775 @default.
- W3199522775 citedByCount "0" @default.
- W3199522775 crossrefType "posted-content" @default.
- W3199522775 hasAuthorship W3199522775A5006663587 @default.
- W3199522775 hasAuthorship W3199522775A5060394961 @default.
- W3199522775 hasBestOaLocation W31995227751 @default.
- W3199522775 hasConcept C138885662 @default.
- W3199522775 hasConcept C154908896 @default.
- W3199522775 hasConcept C154945302 @default.
- W3199522775 hasConcept C17744445 @default.
- W3199522775 hasConcept C184337299 @default.
- W3199522775 hasConcept C199360897 @default.
- W3199522775 hasConcept C199539241 @default.
- W3199522775 hasConcept C2524010 @default.
- W3199522775 hasConcept C2775892892 @default.
- W3199522775 hasConcept C2779136372 @default.
- W3199522775 hasConcept C2779628075 @default.
- W3199522775 hasConcept C2779960059 @default.
- W3199522775 hasConcept C33923547 @default.
- W3199522775 hasConcept C38349280 @default.
- W3199522775 hasConcept C38652104 @default.
- W3199522775 hasConcept C41008148 @default.
- W3199522775 hasConcept C41895202 @default.
- W3199522775 hasConcept C60048249 @default.
- W3199522775 hasConcept C86532276 @default.
- W3199522775 hasConceptScore W3199522775C138885662 @default.
- W3199522775 hasConceptScore W3199522775C154908896 @default.
- W3199522775 hasConceptScore W3199522775C154945302 @default.
- W3199522775 hasConceptScore W3199522775C17744445 @default.
- W3199522775 hasConceptScore W3199522775C184337299 @default.
- W3199522775 hasConceptScore W3199522775C199360897 @default.
- W3199522775 hasConceptScore W3199522775C199539241 @default.
- W3199522775 hasConceptScore W3199522775C2524010 @default.
- W3199522775 hasConceptScore W3199522775C2775892892 @default.
- W3199522775 hasConceptScore W3199522775C2779136372 @default.
- W3199522775 hasConceptScore W3199522775C2779628075 @default.
- W3199522775 hasConceptScore W3199522775C2779960059 @default.
- W3199522775 hasConceptScore W3199522775C33923547 @default.
- W3199522775 hasConceptScore W3199522775C38349280 @default.
- W3199522775 hasConceptScore W3199522775C38652104 @default.
- W3199522775 hasConceptScore W3199522775C41008148 @default.
- W3199522775 hasConceptScore W3199522775C41895202 @default.
- W3199522775 hasConceptScore W3199522775C60048249 @default.