Search for dissertations about: "non-interference"

Showing result 1 - 5 of 10 swedish dissertations containing the word non-interference.

2. 1. Programming Language Design - Issues in Web Programming and Security

   Author : Niklas Broberg; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation; calculus;

   Abstract : This thesis consists of two separate parts. Both concern programming language design, the first in the domain of web programming and the other for security. READ MORE

4. 2. Language Support for Controlling Timing-Based Covert Channels

   Author : Alejandro Russo; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; information-flow; language-based security; semaphores; non-interference; Haskell; library; concurrency; internal timing covert channel;

   Abstract : The problem of controlling information flow in multithreaded programs remains an important open challenge.A major difficulty for tracking information flow in concurrent programs is due to the internal timing covert channel. READ MORE

5. 3. Information-Flow Tracking for Web Security

   Author : Luciano Bello; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : The Web is evolving into a melting pot of content coming from multiple stakeholders. In this mutually distrustful setting, the combination of code and data from different providers demands new security approaches.This thesis explores information-flow control technologies to provide security for the current Web. 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. Information-Flow Tracking for Dynamic Languages

   Author : Luciano Bello; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; information security; information integrity; dependency analysis; information confidentiality; information flow; privacy;

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