Matches in SemOpenAlex for { <https://semopenalex.org/work/W4236690822> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4236690822 abstract "Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperative language. Arrays are given types of the form /spl tau//sub 1/ arr /spl tau//sub 2/, where /spl tau//sub 1/ is the security class of the array's contents and /spl tau//sub 2/ is the security class of the array's length. To keep the typing rules permissive, we propose a novel, lenient semantics for out-of-bounds array indices. We show that our type system ensures a noninterference property, and we present an example that suggests that it will not be too difficult in practice to write programs that satisfy the typing rules." @default.
- W4236690822 created "2022-05-12" @default.
- W4236690822 creator A5024339110 @default.
- W4236690822 creator A5060241969 @default.
- W4236690822 date "2004-11-13" @default.
- W4236690822 modified "2023-10-12" @default.
- W4236690822 title "Lenient array operations for practical secure information flow" @default.
- W4236690822 cites W1997775274 @default.
- W4236690822 cites W2116647386 @default.
- W4236690822 cites W2122049982 @default.
- W4236690822 cites W2129278597 @default.
- W4236690822 cites W2149143260 @default.
- W4236690822 cites W2150174204 @default.
- W4236690822 cites W2158126684 @default.
- W4236690822 cites W4230988461 @default.
- W4236690822 doi "https://doi.org/10.1109/csfw.2004.1310736" @default.
- W4236690822 hasPublicationYear "2004" @default.
- W4236690822 type Work @default.
- W4236690822 citedByCount "5" @default.
- W4236690822 countsByYear W42366908222013 @default.
- W4236690822 countsByYear W42366908222019 @default.
- W4236690822 crossrefType "proceedings-article" @default.
- W4236690822 hasAuthorship W4236690822A5024339110 @default.
- W4236690822 hasAuthorship W4236690822A5060241969 @default.
- W4236690822 hasConcept C111472728 @default.
- W4236690822 hasConcept C138885662 @default.
- W4236690822 hasConcept C15224491 @default.
- W4236690822 hasConcept C154945302 @default.
- W4236690822 hasConcept C184337299 @default.
- W4236690822 hasConcept C189950617 @default.
- W4236690822 hasConcept C199360897 @default.
- W4236690822 hasConcept C2524010 @default.
- W4236690822 hasConcept C2777212361 @default.
- W4236690822 hasConcept C2779136372 @default.
- W4236690822 hasConcept C2780586882 @default.
- W4236690822 hasConcept C2781209916 @default.
- W4236690822 hasConcept C28490314 @default.
- W4236690822 hasConcept C33923547 @default.
- W4236690822 hasConcept C38349280 @default.
- W4236690822 hasConcept C41008148 @default.
- W4236690822 hasConcept C41895202 @default.
- W4236690822 hasConcept C54355233 @default.
- W4236690822 hasConcept C80444323 @default.
- W4236690822 hasConcept C86803240 @default.
- W4236690822 hasConceptScore W4236690822C111472728 @default.
- W4236690822 hasConceptScore W4236690822C138885662 @default.
- W4236690822 hasConceptScore W4236690822C15224491 @default.
- W4236690822 hasConceptScore W4236690822C154945302 @default.
- W4236690822 hasConceptScore W4236690822C184337299 @default.
- W4236690822 hasConceptScore W4236690822C189950617 @default.
- W4236690822 hasConceptScore W4236690822C199360897 @default.
- W4236690822 hasConceptScore W4236690822C2524010 @default.
- W4236690822 hasConceptScore W4236690822C2777212361 @default.
- W4236690822 hasConceptScore W4236690822C2779136372 @default.
- W4236690822 hasConceptScore W4236690822C2780586882 @default.
- W4236690822 hasConceptScore W4236690822C2781209916 @default.
- W4236690822 hasConceptScore W4236690822C28490314 @default.
- W4236690822 hasConceptScore W4236690822C33923547 @default.
- W4236690822 hasConceptScore W4236690822C38349280 @default.
- W4236690822 hasConceptScore W4236690822C41008148 @default.
- W4236690822 hasConceptScore W4236690822C41895202 @default.
- W4236690822 hasConceptScore W4236690822C54355233 @default.
- W4236690822 hasConceptScore W4236690822C80444323 @default.
- W4236690822 hasConceptScore W4236690822C86803240 @default.
- W4236690822 hasLocation W42366908221 @default.
- W4236690822 hasOpenAccess W4236690822 @default.
- W4236690822 hasPrimaryLocation W42366908221 @default.
- W4236690822 hasRelatedWork W1483213041 @default.
- W4236690822 hasRelatedWork W1496157979 @default.
- W4236690822 hasRelatedWork W1587224678 @default.
- W4236690822 hasRelatedWork W1778728081 @default.
- W4236690822 hasRelatedWork W2047793074 @default.
- W4236690822 hasRelatedWork W2056977125 @default.
- W4236690822 hasRelatedWork W2090686886 @default.
- W4236690822 hasRelatedWork W27605384 @default.
- W4236690822 hasRelatedWork W288103726 @default.
- W4236690822 hasRelatedWork W4236690822 @default.
- W4236690822 isParatext "false" @default.
- W4236690822 isRetracted "false" @default.
- W4236690822 workType "article" @default.