Sökning: "static enforcement"

Visar resultat 1 - 5 av 13 avhandlingar innehållade orden static enforcement.

  1. 1. Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement

    Författare :Bart van Delft; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic policies; datalog; information flow control; enforcement; security condition;

    Sammanfattning : Information-flow control enforces security policies on the information handled by computer applications. These policies often contain dynamic aspects, specifying how the confidentiality and integrity of information changes over time. This thesis focuses on the enforcement of such dynamic policies. The contributions are divided into three parts. LÄS MER

  3. 2. A Policy Semantics and a Programming Language for Securing Software

    Författare :Bart van Delft; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; datalog; static enforcement; security policy language; information flow;

    Sammanfattning : The work presented in this thesis contributes to the information flowpolicy specification language Paralocks and the enforcement of Paralockspolicies in the programming language Paragon.The thesis starts with a programming tutorial on Paragon. LÄS MER

  4. 3. Tracking Information Flows in Interactive and Object-Oriented Programs

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

    Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER

  5. 4. Principled Flow Tracking in IoT and Low-Level Applications

    Författare :Iulia Bastys; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; WebAssembly apps; automatic labeling; IoT apps; enforcement granularity; design principles; information-flow control; language-based security;

    Sammanfattning : Significant fractions of our lives are spent digitally, connected to and dependent on Internet-based applications, be it through the Web, mobile, or IoT. All such applications have access to and are entrusted with private user data, such as location, photos, browsing habits, private feed from social networks, or bank details. LÄS MER

  7. 5. 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