Matches in SemOpenAlex for { <https://semopenalex.org/work/W1817610252> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1817610252 endingPage "52" @default.
- W1817610252 startingPage "32" @default.
- W1817610252 abstract "Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change.A static verification of a dynamic information flow policy, from a semantic perspective, should only need to concern itself with two things: 1 the dependencies between data in a program, and 2 whether those dependencies are consistent with the intended flow policies as they change over time. In this paper we provide a formal ground for this intuition. We present a straightforward extension to the principal flow-sensitive type system introduced by Hunt and Sands POPL '06, ESOP '11 to infer both end-to-end dependencies and dependencies at intermediate points in a program. This allows typings to be applied to verification of both static and dynamic policies. Our extension preserves the principal type system's distinguishing feature, that type inference is independent of the policy to be enforced: a single, generic dependency analysis typing can be used to verify many different dynamic policies of a given program, thus achieving a clean separation between 1 and 2.We also make contributions to the foundations of dynamic information flow. Arguably, the most compelling semantic definitions for dynamic security conditions in the literature are phrased in the so-called knowledge-based style. We contribute a new definition of knowledge-based progress insensitive security for dynamic policies. We show that the new definition avoids anomalies of previous definitions and enjoys a simple and useful characterisation as a two-run style property." @default.
- W1817610252 created "2016-06-24" @default.
- W1817610252 creator A5020557587 @default.
- W1817610252 creator A5074213067 @default.
- W1817610252 creator A5082447666 @default.
- W1817610252 date "2015-01-01" @default.
- W1817610252 modified "2023-09-24" @default.
- W1817610252 title "Very Static Enforcement of Dynamic Policies" @default.
- W1817610252 cites W1560474498 @default.
- W1817610252 cites W1585940114 @default.
- W1817610252 cites W1817610252 @default.
- W1817610252 cites W1857247180 @default.
- W1817610252 cites W1867052887 @default.
- W1817610252 cites W1966354044 @default.
- W1817610252 cites W1977764760 @default.
- W1817610252 cites W1990048025 @default.
- W1817610252 cites W1993302007 @default.
- W1817610252 cites W1999056706 @default.
- W1817610252 cites W2005525408 @default.
- W1817610252 cites W2036463966 @default.
- W1817610252 cites W2039304128 @default.
- W1817610252 cites W2080914957 @default.
- W1817610252 cites W2097365905 @default.
- W1817610252 cites W2126469755 @default.
- W1817610252 cites W2129278597 @default.
- W1817610252 cites W2145846275 @default.
- W1817610252 cites W2150174204 @default.
- W1817610252 cites W2165078378 @default.
- W1817610252 cites W3082507454 @default.
- W1817610252 doi "https://doi.org/10.1007/978-3-662-46666-7_3" @default.
- W1817610252 hasPublicationYear "2015" @default.
- W1817610252 type Work @default.
- W1817610252 sameAs 1817610252 @default.
- W1817610252 citedByCount "16" @default.
- W1817610252 countsByYear W18176102522015 @default.
- W1817610252 countsByYear W18176102522016 @default.
- W1817610252 countsByYear W18176102522017 @default.
- W1817610252 countsByYear W18176102522019 @default.
- W1817610252 countsByYear W18176102522020 @default.
- W1817610252 countsByYear W18176102522022 @default.
- W1817610252 crossrefType "book-chapter" @default.
- W1817610252 hasAuthorship W1817610252A5020557587 @default.
- W1817610252 hasAuthorship W1817610252A5074213067 @default.
- W1817610252 hasAuthorship W1817610252A5082447666 @default.
- W1817610252 hasBestOaLocation W18176102521 @default.
- W1817610252 hasConcept C144133560 @default.
- W1817610252 hasConcept C17744445 @default.
- W1817610252 hasConcept C199539241 @default.
- W1817610252 hasConcept C2779777834 @default.
- W1817610252 hasConcept C38652104 @default.
- W1817610252 hasConcept C41008148 @default.
- W1817610252 hasConceptScore W1817610252C144133560 @default.
- W1817610252 hasConceptScore W1817610252C17744445 @default.
- W1817610252 hasConceptScore W1817610252C199539241 @default.
- W1817610252 hasConceptScore W1817610252C2779777834 @default.
- W1817610252 hasConceptScore W1817610252C38652104 @default.
- W1817610252 hasConceptScore W1817610252C41008148 @default.
- W1817610252 hasLocation W18176102521 @default.
- W1817610252 hasLocation W18176102522 @default.
- W1817610252 hasLocation W18176102523 @default.
- W1817610252 hasOpenAccess W1817610252 @default.
- W1817610252 hasPrimaryLocation W18176102521 @default.
- W1817610252 hasRelatedWork W1603945390 @default.
- W1817610252 hasRelatedWork W2030496847 @default.
- W1817610252 hasRelatedWork W2062647650 @default.
- W1817610252 hasRelatedWork W207332311 @default.
- W1817610252 hasRelatedWork W2222559237 @default.
- W1817610252 hasRelatedWork W2781032828 @default.
- W1817610252 hasRelatedWork W3007967230 @default.
- W1817610252 hasRelatedWork W3124546030 @default.
- W1817610252 hasRelatedWork W3160616218 @default.
- W1817610252 hasRelatedWork W4313313264 @default.
- W1817610252 isParatext "false" @default.
- W1817610252 isRetracted "false" @default.
- W1817610252 magId "1817610252" @default.
- W1817610252 workType "book-chapter" @default.