Search for dissertations about: "flow-control"

Showing result 1 - 5 of 114 swedish dissertations containing the word 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. Flow control of boundary lagers and wakes

    Author : Jens H. M. Fransson; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Laminar-turbulent transition; asymptotic suction boundary layer; free stream turbulence; Tollmien-Schlichting wave; stability; flow control; cylinder wake; Engineering mechanics; Teknisk mekanik;

    Abstract : Both experimental and theoretical studies have beenconsidered on flat plate boundary layers as well as on wakesbehind porous cylinders. The main thread in this work iscontrol, which is applied passively and actively on boundarylayers in order to inhibit or postpone transition toturbulence; and actively through the cylinder surface in orderto effect the wakecharacteristics. 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. Nature-inspired passive flow control using various coatings and appendages

    Author : Ugis Lacis; Shervin Bagheri; Christophe Eloy; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; flow control; passive appendage; surface coating; pressure drag; friction drag; Flödeskontroll; passiva bihang; ytbeläggning; tryckmotstånd; friktionsmotstånd;

    Abstract : There is a wide variety of tails, fins, scales, riblets and surface coatings, which are used by motile animals in nature. Since organisms currently living on earth have gone through millions of years of evolution, one can expect that their design is optimal for their tasks, including locomotion. READ MORE