Sökning: "information-flow security"
Visar resultat 1 - 5 av 41 avhandlingar innehållade orden information-flow security.
1. Flexible Information-Flow Control
Sammanfattning : As more and more sensitive data is handled by software, its trustworthiness becomes an increasingly important concern. This thesis presents work on ensuring that information processed by computing systems is not disclosed to third parties without the user's permission; i.e. to prevent unwanted flows of information. LÄS MER
2. Information-Flow Tracking for Dynamic Languages
Sammanfattning : This thesis explores information-flow tracking technologies and their applicability on industrial-scale dynamic programming languages. We aim to narrow the gap between the need for flexibility in current dynamic languages and the solid well-studied mechanisms from academia. LÄS MER
3. Flexible and Practical Information-Flow Control
Sammanfattning : As more and more sensitive data is handled by software, itstrustworthiness becomes an increasingly important concern. This thesispresents work on ensuring that information that is processed bycomputing systems is not disclosed to third parties without the user'spermission; i.e. to prevent unwanted flows of information. LÄS MER
4. Information Flow for Web Security and Privacy
Sammanfattning : The use of libraries is prevalent in modern web development. But how to ensure sensitive data is not being leaked through these libraries? This is the first challenge this thesis aims to solve. LÄS MER
5. Information Erasure: An Information-Flow Approach to Semantics and Enforcement
Sammanfattning : Many modern online services require sensitive data to complete their tasks. For this reason, guaranteeing security policies in such services is a major concern. The traditional (and well studied) aspects of security, namely confidentiality, integrity, and availability of data, capture many but not all desirable policies involving sensitive-data. LÄS MER