Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011333687> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2011333687 abstract "This paper shows how to systematically extend an arbitrary type system with dependency information, and how soundness and non-interference proofs for the new system may rely upon, rather than duplicate, the soundness proof of the original system. This allows enriching virtually any of the type systems known today with information flow analysis, while requiring only a minimal proof effort.Our approach is based on an untyped operational semantics for a labelled calculus akin to core ML. Thus, it is simple, and should be applicable to other computing paradigms, such as object or process calculi.The paper also discusses access control, and shows it may be viewed as entirely independent of information flow control. Letting the two mechanisms coexist, without interacting, yields a simple and expressive type system, which allows, in particular, selective declassification." @default.
- W2011333687 created "2016-06-24" @default.
- W2011333687 creator A5005087679 @default.
- W2011333687 creator A5060426941 @default.
- W2011333687 date "2000-09-01" @default.
- W2011333687 modified "2023-10-18" @default.
- W2011333687 title "Information flow inference for free" @default.
- W2011333687 cites W1977764760 @default.
- W2011333687 cites W1980939032 @default.
- W2011333687 cites W1993302007 @default.
- W2011333687 cites W1999707021 @default.
- W2011333687 cites W2015315002 @default.
- W2011333687 cites W2016017569 @default.
- W2011333687 cites W2057670587 @default.
- W2011333687 cites W2067012475 @default.
- W2011333687 cites W2099137371 @default.
- W2011333687 cites W2106094088 @default.
- W2011333687 cites W2129278597 @default.
- W2011333687 cites W2263997645 @default.
- W2011333687 cites W2296090196 @default.
- W2011333687 cites W3023611779 @default.
- W2011333687 cites W4238033972 @default.
- W2011333687 doi "https://doi.org/10.1145/351240.351245" @default.
- W2011333687 hasPublicationYear "2000" @default.
- W2011333687 type Work @default.
- W2011333687 sameAs 2011333687 @default.
- W2011333687 citedByCount "100" @default.
- W2011333687 countsByYear W20113336872012 @default.
- W2011333687 countsByYear W20113336872013 @default.
- W2011333687 countsByYear W20113336872014 @default.
- W2011333687 countsByYear W20113336872015 @default.
- W2011333687 countsByYear W20113336872016 @default.
- W2011333687 countsByYear W20113336872019 @default.
- W2011333687 countsByYear W20113336872021 @default.
- W2011333687 crossrefType "proceedings-article" @default.
- W2011333687 hasAuthorship W2011333687A5005087679 @default.
- W2011333687 hasAuthorship W2011333687A5060426941 @default.
- W2011333687 hasConcept C138885662 @default.
- W2011333687 hasConcept C154945302 @default.
- W2011333687 hasConcept C2524010 @default.
- W2011333687 hasConcept C2776214188 @default.
- W2011333687 hasConcept C2779136372 @default.
- W2011333687 hasConcept C33923547 @default.
- W2011333687 hasConcept C38349280 @default.
- W2011333687 hasConcept C41008148 @default.
- W2011333687 hasConcept C41895202 @default.
- W2011333687 hasConceptScore W2011333687C138885662 @default.
- W2011333687 hasConceptScore W2011333687C154945302 @default.
- W2011333687 hasConceptScore W2011333687C2524010 @default.
- W2011333687 hasConceptScore W2011333687C2776214188 @default.
- W2011333687 hasConceptScore W2011333687C2779136372 @default.
- W2011333687 hasConceptScore W2011333687C33923547 @default.
- W2011333687 hasConceptScore W2011333687C38349280 @default.
- W2011333687 hasConceptScore W2011333687C41008148 @default.
- W2011333687 hasConceptScore W2011333687C41895202 @default.
- W2011333687 hasLocation W20113336871 @default.
- W2011333687 hasOpenAccess W2011333687 @default.
- W2011333687 hasPrimaryLocation W20113336871 @default.
- W2011333687 hasRelatedWork W136900201 @default.
- W2011333687 hasRelatedWork W1520046976 @default.
- W2011333687 hasRelatedWork W1578412398 @default.
- W2011333687 hasRelatedWork W1835082405 @default.
- W2011333687 hasRelatedWork W2349472529 @default.
- W2011333687 hasRelatedWork W2382627838 @default.
- W2011333687 hasRelatedWork W2386721913 @default.
- W2011333687 hasRelatedWork W2396303817 @default.
- W2011333687 hasRelatedWork W2995686230 @default.
- W2011333687 hasRelatedWork W3016288678 @default.
- W2011333687 isParatext "false" @default.
- W2011333687 isRetracted "false" @default.
- W2011333687 magId "2011333687" @default.
- W2011333687 workType "article" @default.