Search for dissertations about: "information-flow control"

Showing result 1 - 5 of 34 swedish dissertations containing the words information-flow control.

  2. 1. Flexible Information-Flow Control

    Author : Daniel Schoepe; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; software security; information-flow control; program verification; language-based security;

    Abstract : 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. READ MORE

  4. 2. Flexible and Practical Information-Flow Control

    Author : Daniel Schoepe; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; software security; information flow;

    Abstract : 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. READ MORE

  5. 3. Foundations of Information-Flow Control and Effects

    Author : Carlos Tomé Cortiñas; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information-flow control; Programming languages; Language-based security;

    Abstract : In programming language research, information-flow control (IFC) is a technique for enforcing a variety of security aspects, such as confidentiality of data, on programs. This Licenciate thesis makes novel contributions to the theory and foundations of IFC in the following ways: Chapter A presents a new proof method for showing the usual desired property of noninterference; Chapter B shows how to securely extend the concurrent IFC language MAC with asynchronous exceptions; and, Chapter C presents a new and simpler language for IFC with effects based on an explicit separation of pure and effectful computations. READ MORE

  6. 4. MAC, A Verified Information-Flow Control Library

    Author : Marco Vassena; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

    Abstract : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. READ MORE

  7. 5. Verifying Information Flow Control Libraries

    Author : Marco Vassena; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. Intuitively, IFC sys- tems associate data with security labels that track and restrict flows of information throughout a program in order to enforce security. READ MORE