Sökning: "Language-based security"

Visar resultat 1 - 5 av 14 avhandlingar innehållade orden Language-based security.

  1. 1. On the Foundations of Practical Language-Based Security

    Författare :Maximilian Algehed; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Secure Multi-Execution; Parametricity; Programming Languages; Security;

    Sammanfattning : Language-based information flow control (IFC) promises to provide programming languages and tools that make it easy for developers to write secure code. Traditionally, research in this field aims to build a variant on a programming language or system that lets developers write code that gives them strong guarantees beyond the potential memory- and type-safety guarantees of modern languages. LÄS MER

  3. 2. Language Based Covert Channel Avoidance

    Författare :Daniel Hedin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Common protection mechanisms fail to provide end-to-end security; programs with legitimate access to secret information are not prevented from leaking this to the world by accident or malice. Protecting the access to information is not enough to solve this problem. We have to ensure that the program uses the information in a secure way. LÄS MER

  4. 3. Program Analysis Issues in Language Based Security

    Författare :Daniel Hedin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  5. 4. Securing Interactive Systems

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program analysis; concurrency; multi-threading; covert channels; semantics-based security; language-based security; information-flow security; runtime enforcement; parallelism; scheduling; program transformation; information-flow control; fairness;

    Sammanfattning : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. LÄS MER

  7. 5. Flexible Information-Flow Control

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

    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