Matches in SemOpenAlex for { <https://semopenalex.org/work/W211545972> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W211545972 abstract "The analysis of information flow has become a popular technique for ensuring the confidentiality of data. An end-to-end confidentiality policy guarantees that private data cannot be inferred by the inspection of public data. A security property that ensures a kind of confidentiality is the noninterference property, which can be enforced by the use of security type systems where types correspond to security levels. In this paper we show the development of a compiler (written in Haskell) between a simple imperative language and semi-structured machine code, which preserves the property of noninterference. The compiler is based on the use of typed abstract syntax (implemented in terms of Haskell GADTs and type-level functions) to encode the security type system of both the source and target language. This makes it possible to use Haskell’s type checker to verify two things: that programs in both languages satisfy the security property, and that the compiler is correct by construction (in the sense that it preserves noninterference)." @default.
- W211545972 created "2016-06-24" @default.
- W211545972 creator A5007307934 @default.
- W211545972 creator A5089982047 @default.
- W211545972 date "2014-01-01" @default.
- W211545972 modified "2023-09-24" @default.
- W211545972 title "A Security Types Preserving Compiler in Haskell" @default.
- W211545972 cites W1519156167 @default.
- W211545972 cites W1975736938 @default.
- W211545972 cites W1977764760 @default.
- W211545972 cites W1982230416 @default.
- W211545972 cites W1991895580 @default.
- W211545972 cites W2028880435 @default.
- W211545972 cites W2075849836 @default.
- W211545972 cites W2094873755 @default.
- W211545972 cites W2108650361 @default.
- W211545972 cites W2117723002 @default.
- W211545972 cites W2122049982 @default.
- W211545972 cites W2148662736 @default.
- W211545972 cites W2150174204 @default.
- W211545972 cites W3023703923 @default.
- W211545972 cites W4242767025 @default.
- W211545972 cites W4251772834 @default.
- W211545972 doi "https://doi.org/10.1007/978-3-319-11863-5_2" @default.
- W211545972 hasPublicationYear "2014" @default.
- W211545972 type Work @default.
- W211545972 sameAs 211545972 @default.
- W211545972 citedByCount "3" @default.
- W211545972 countsByYear W2115459722014 @default.
- W211545972 countsByYear W2115459722020 @default.
- W211545972 crossrefType "book-chapter" @default.
- W211545972 hasAuthorship W211545972A5007307934 @default.
- W211545972 hasAuthorship W211545972A5089982047 @default.
- W211545972 hasConcept C111472728 @default.
- W211545972 hasConcept C138885662 @default.
- W211545972 hasConcept C169590947 @default.
- W211545972 hasConcept C189950617 @default.
- W211545972 hasConcept C199360897 @default.
- W211545972 hasConcept C200833197 @default.
- W211545972 hasConcept C204321447 @default.
- W211545972 hasConcept C2780624054 @default.
- W211545972 hasConcept C38652104 @default.
- W211545972 hasConcept C41008148 @default.
- W211545972 hasConcept C42383842 @default.
- W211545972 hasConcept C60048249 @default.
- W211545972 hasConcept C71745522 @default.
- W211545972 hasConcept C80444323 @default.
- W211545972 hasConceptScore W211545972C111472728 @default.
- W211545972 hasConceptScore W211545972C138885662 @default.
- W211545972 hasConceptScore W211545972C169590947 @default.
- W211545972 hasConceptScore W211545972C189950617 @default.
- W211545972 hasConceptScore W211545972C199360897 @default.
- W211545972 hasConceptScore W211545972C200833197 @default.
- W211545972 hasConceptScore W211545972C204321447 @default.
- W211545972 hasConceptScore W211545972C2780624054 @default.
- W211545972 hasConceptScore W211545972C38652104 @default.
- W211545972 hasConceptScore W211545972C41008148 @default.
- W211545972 hasConceptScore W211545972C42383842 @default.
- W211545972 hasConceptScore W211545972C60048249 @default.
- W211545972 hasConceptScore W211545972C71745522 @default.
- W211545972 hasConceptScore W211545972C80444323 @default.
- W211545972 hasLocation W2115459721 @default.
- W211545972 hasOpenAccess W211545972 @default.
- W211545972 hasPrimaryLocation W2115459721 @default.
- W211545972 hasRelatedWork W1484927788 @default.
- W211545972 hasRelatedWork W1497651746 @default.
- W211545972 hasRelatedWork W1538511530 @default.
- W211545972 hasRelatedWork W1582983062 @default.
- W211545972 hasRelatedWork W1603043760 @default.
- W211545972 hasRelatedWork W1775920529 @default.
- W211545972 hasRelatedWork W2033929305 @default.
- W211545972 hasRelatedWork W2088923183 @default.
- W211545972 hasRelatedWork W2093291765 @default.
- W211545972 hasRelatedWork W2108887121 @default.
- W211545972 hasRelatedWork W2123858370 @default.
- W211545972 hasRelatedWork W2165765842 @default.
- W211545972 hasRelatedWork W2415236938 @default.
- W211545972 hasRelatedWork W2760025382 @default.
- W211545972 hasRelatedWork W2898707257 @default.
- W211545972 hasRelatedWork W2898994781 @default.
- W211545972 hasRelatedWork W3092413010 @default.
- W211545972 hasRelatedWork W3174898988 @default.
- W211545972 hasRelatedWork W1584292534 @default.
- W211545972 hasRelatedWork W617956461 @default.
- W211545972 isParatext "false" @default.
- W211545972 isRetracted "false" @default.
- W211545972 magId "211545972" @default.
- W211545972 workType "book-chapter" @default.