Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082507454> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3082507454 endingPage "90" @default.
- W3082507454 startingPage "79" @default.
- W3082507454 abstract "This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is indexed by the choice of flow lattice.By choosing the flow lattice to be the powerset of program variables, we obtain a system which, in a very strong sense, subsumes all other systems in the family (in particular, for each program, it provides a principal typing from which all others may be inferred). This distinguished system is shown to be equivalent to, though more simply described than, Amtoft and Banerjee's Hoare-style independence logic (SAS'04).In general, some lattices are more expressive than others. Despite this, we show that no type system in the family can give better results for a given choice of lattice than the type system for that lattice itself.Finally, for any program typeable in one of these systems, we show how to construct an equivalent program which is typeable in a simple flow-insensitive system. We argue that this general approach could be useful in a proof-carrying-code setting." @default.
- W3082507454 created "2020-09-08" @default.
- W3082507454 creator A5020557587 @default.
- W3082507454 creator A5069265712 @default.
- W3082507454 date "2006-01-11" @default.
- W3082507454 modified "2023-10-10" @default.
- W3082507454 title "On flow-sensitive security types" @default.
- W3082507454 cites W1492943981 @default.
- W3082507454 cites W1519566437 @default.
- W3082507454 cites W1548432452 @default.
- W3082507454 cites W1867052887 @default.
- W3082507454 cites W1993302007 @default.
- W3082507454 cites W2014764321 @default.
- W3082507454 cites W2016017569 @default.
- W3082507454 cites W2035329159 @default.
- W3082507454 cites W2037851672 @default.
- W3082507454 cites W2043100293 @default.
- W3082507454 cites W2046160987 @default.
- W3082507454 cites W2055351465 @default.
- W3082507454 cites W2076090418 @default.
- W3082507454 cites W2122049982 @default.
- W3082507454 cites W2129278597 @default.
- W3082507454 cites W2145969019 @default.
- W3082507454 cites W2159507384 @default.
- W3082507454 cites W2997271062 @default.
- W3082507454 doi "https://doi.org/10.1145/1111320.1111045" @default.
- W3082507454 hasPublicationYear "2006" @default.
- W3082507454 type Work @default.
- W3082507454 sameAs 3082507454 @default.
- W3082507454 citedByCount "24" @default.
- W3082507454 countsByYear W30825074542012 @default.
- W3082507454 countsByYear W30825074542013 @default.
- W3082507454 countsByYear W30825074542014 @default.
- W3082507454 countsByYear W30825074542015 @default.
- W3082507454 countsByYear W30825074542016 @default.
- W3082507454 countsByYear W30825074542017 @default.
- W3082507454 countsByYear W30825074542019 @default.
- W3082507454 countsByYear W30825074542020 @default.
- W3082507454 countsByYear W30825074542021 @default.
- W3082507454 countsByYear W30825074542023 @default.
- W3082507454 crossrefType "journal-article" @default.
- W3082507454 hasAuthorship W3082507454A5020557587 @default.
- W3082507454 hasAuthorship W3082507454A5069265712 @default.
- W3082507454 hasBestOaLocation W30825074542 @default.
- W3082507454 hasConcept C105795698 @default.
- W3082507454 hasConcept C121332964 @default.
- W3082507454 hasConcept C18903297 @default.
- W3082507454 hasConcept C199360897 @default.
- W3082507454 hasConcept C24890656 @default.
- W3082507454 hasConcept C2777299769 @default.
- W3082507454 hasConcept C2781204021 @default.
- W3082507454 hasConcept C33923547 @default.
- W3082507454 hasConcept C35651441 @default.
- W3082507454 hasConcept C41008148 @default.
- W3082507454 hasConcept C80444323 @default.
- W3082507454 hasConcept C86803240 @default.
- W3082507454 hasConcept C93682546 @default.
- W3082507454 hasConceptScore W3082507454C105795698 @default.
- W3082507454 hasConceptScore W3082507454C121332964 @default.
- W3082507454 hasConceptScore W3082507454C18903297 @default.
- W3082507454 hasConceptScore W3082507454C199360897 @default.
- W3082507454 hasConceptScore W3082507454C24890656 @default.
- W3082507454 hasConceptScore W3082507454C2777299769 @default.
- W3082507454 hasConceptScore W3082507454C2781204021 @default.
- W3082507454 hasConceptScore W3082507454C33923547 @default.
- W3082507454 hasConceptScore W3082507454C35651441 @default.
- W3082507454 hasConceptScore W3082507454C41008148 @default.
- W3082507454 hasConceptScore W3082507454C80444323 @default.
- W3082507454 hasConceptScore W3082507454C86803240 @default.
- W3082507454 hasConceptScore W3082507454C93682546 @default.
- W3082507454 hasIssue "1" @default.
- W3082507454 hasLocation W30825074541 @default.
- W3082507454 hasLocation W30825074542 @default.
- W3082507454 hasOpenAccess W3082507454 @default.
- W3082507454 hasPrimaryLocation W30825074541 @default.
- W3082507454 hasRelatedWork W1485978165 @default.
- W3082507454 hasRelatedWork W2056487150 @default.
- W3082507454 hasRelatedWork W2787703111 @default.
- W3082507454 hasRelatedWork W3120415410 @default.
- W3082507454 hasRelatedWork W4241070479 @default.
- W3082507454 hasRelatedWork W4283575722 @default.
- W3082507454 hasRelatedWork W4306353309 @default.
- W3082507454 hasRelatedWork W4306816010 @default.
- W3082507454 hasRelatedWork W4376865054 @default.
- W3082507454 hasRelatedWork W4225424606 @default.
- W3082507454 hasVolume "41" @default.
- W3082507454 isParatext "false" @default.
- W3082507454 isRetracted "false" @default.
- W3082507454 magId "3082507454" @default.
- W3082507454 workType "article" @default.