Matches in SemOpenAlex for { <https://semopenalex.org/work/W36703535> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W36703535 abstract "If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in a program can flow only in ways consistent with the specified security levels. One well-studied approach is to formulate the rules of the secure information flow analysis as a type system. A major trend of recent research focuses on how to accommodate various sophisticated modern language features. However, this approach often leads to overly complicated and restrictive type systems, . making them unfit for practical use. Also, problems essential to practical use, such as type inference and error reporting, have received little attention. This dissertation identified and solved major theoretical and practical hurdles to the application of secure information flow. We adopted a minimalist approach to designing our language to ensure a simple lenient type system. We started out with a small simple imperative language and only added features that we deemed most important for practical use. One language feature we addressed is arrays. Due to the various leaking channels associated with array operations, arrays have received complicated and restrictive typing rules in other secure languages. We presented a novel approach for lenient array operations, which lead to simple and lenient typing of arrays. Type inference is necessary because usually a user is only concerned with the security types for input/output variables of a program and would like to have all types for auxiliary variables inferred automatically. We presented a type inference algorithm B and proved its soundness and completeness. Moreover, algorithm B stays close to the program and the type system and therefore facilitates informative error reporting that is generated in a cascading fashion. Algorithm Band error reporting have been implemented and tested. Lastly, we presented a novel framework for developing applications that ensure user information privacy. In this framework, core computations are defined as code modules that involve input/output data from multiple parties. Incrementally, secure flow policies are refined based on feedback from the type checking/inference. Core computations only interact with code modules from involved parties through well-defined interfaces. All code modules are digitally signed to ensure their authenticity and integrity." @default.
- W36703535 created "2016-06-24" @default.
- W36703535 creator A5024339110 @default.
- W36703535 creator A5060241969 @default.
- W36703535 date "2017-11-13" @default.
- W36703535 modified "2023-10-12" @default.
- W36703535 title "Practical secure information flow in programming languages" @default.
- W36703535 doi "https://doi.org/10.25148/etd.fi14062241" @default.
- W36703535 hasPublicationYear "2017" @default.
- W36703535 type Work @default.
- W36703535 sameAs 36703535 @default.
- W36703535 citedByCount "0" @default.
- W36703535 crossrefType "dissertation" @default.
- W36703535 hasAuthorship W36703535A5024339110 @default.
- W36703535 hasAuthorship W36703535A5060241969 @default.
- W36703535 hasBestOaLocation W367035351 @default.
- W36703535 hasConcept C111472728 @default.
- W36703535 hasConcept C124101348 @default.
- W36703535 hasConcept C134306372 @default.
- W36703535 hasConcept C138885662 @default.
- W36703535 hasConcept C154945302 @default.
- W36703535 hasConcept C17231256 @default.
- W36703535 hasConcept C18903297 @default.
- W36703535 hasConcept C198370458 @default.
- W36703535 hasConcept C199360897 @default.
- W36703535 hasConcept C2776214188 @default.
- W36703535 hasConcept C2776401178 @default.
- W36703535 hasConcept C2777299769 @default.
- W36703535 hasConcept C2779136372 @default.
- W36703535 hasConcept C2780586882 @default.
- W36703535 hasConcept C33923547 @default.
- W36703535 hasConcept C39920170 @default.
- W36703535 hasConcept C41008148 @default.
- W36703535 hasConcept C41895202 @default.
- W36703535 hasConcept C44779574 @default.
- W36703535 hasConcept C80444323 @default.
- W36703535 hasConcept C86803240 @default.
- W36703535 hasConceptScore W36703535C111472728 @default.
- W36703535 hasConceptScore W36703535C124101348 @default.
- W36703535 hasConceptScore W36703535C134306372 @default.
- W36703535 hasConceptScore W36703535C138885662 @default.
- W36703535 hasConceptScore W36703535C154945302 @default.
- W36703535 hasConceptScore W36703535C17231256 @default.
- W36703535 hasConceptScore W36703535C18903297 @default.
- W36703535 hasConceptScore W36703535C198370458 @default.
- W36703535 hasConceptScore W36703535C199360897 @default.
- W36703535 hasConceptScore W36703535C2776214188 @default.
- W36703535 hasConceptScore W36703535C2776401178 @default.
- W36703535 hasConceptScore W36703535C2777299769 @default.
- W36703535 hasConceptScore W36703535C2779136372 @default.
- W36703535 hasConceptScore W36703535C2780586882 @default.
- W36703535 hasConceptScore W36703535C33923547 @default.
- W36703535 hasConceptScore W36703535C39920170 @default.
- W36703535 hasConceptScore W36703535C41008148 @default.
- W36703535 hasConceptScore W36703535C41895202 @default.
- W36703535 hasConceptScore W36703535C44779574 @default.
- W36703535 hasConceptScore W36703535C80444323 @default.
- W36703535 hasConceptScore W36703535C86803240 @default.
- W36703535 hasLocation W367035351 @default.
- W36703535 hasOpenAccess W36703535 @default.
- W36703535 hasPrimaryLocation W367035351 @default.
- W36703535 hasRelatedWork W201916036 @default.
- W36703535 hasRelatedWork W2048761506 @default.
- W36703535 hasRelatedWork W2071239633 @default.
- W36703535 hasRelatedWork W2139244631 @default.
- W36703535 hasRelatedWork W2148671421 @default.
- W36703535 hasRelatedWork W2291696597 @default.
- W36703535 hasRelatedWork W2466795713 @default.
- W36703535 hasRelatedWork W2488606650 @default.
- W36703535 hasRelatedWork W2503998657 @default.
- W36703535 hasRelatedWork W2514455890 @default.
- W36703535 hasRelatedWork W2666031893 @default.
- W36703535 hasRelatedWork W2805363269 @default.
- W36703535 hasRelatedWork W2925578274 @default.
- W36703535 hasRelatedWork W2971812948 @default.
- W36703535 hasRelatedWork W2980011154 @default.
- W36703535 hasRelatedWork W2988674173 @default.
- W36703535 hasRelatedWork W2988867660 @default.
- W36703535 hasRelatedWork W3046976810 @default.
- W36703535 hasRelatedWork W3184318735 @default.
- W36703535 hasRelatedWork W3202842528 @default.
- W36703535 isParatext "false" @default.
- W36703535 isRetracted "false" @default.
- W36703535 magId "36703535" @default.
- W36703535 workType "dissertation" @default.