Sökning: "Information Erasure"

Visar resultat 1 - 5 av 24 avhandlingar innehållade orden Information Erasure.

  1. 1. Information Erasure: An Information-Flow Approach to Semantics and Enforcement

    Författare :Filippo Del Tedesco; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; erasure policies; erasure; information flow; enforcement; Python; security;

    Sammanfattning : Many modern online services require sensitive data to complete their tasks. For this reason, guaranteeing security policies in such services is a major concern. The traditional (and well studied) aspects of security, namely confidentiality, integrity, and availability of data, capture many but not all desirable policies involving sensitive-data. LÄS MER

  3. 2. An Information Flow Approach to Fault-Tolerant Security and Information Erasure

    Författare :Filippo Del Tedesco; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Fault Tolerance; Information Erasure; Information flow security;

    Sammanfattning : Sensitive information is a crucial asset for both individuals and companies. Since it is processed in a largely automated way, it is important that the computational infrastructures are equipped with methods for reasoning about and enforcing security policies. Information flow security has been proposed for this purpose in many contexts. LÄS MER

  4. 3. Distributed Coded Caching with Application to Content Delivery in Wireless Networks

    Författare :Jesper Pedersen; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; machine learning; erasure correcting codes; optimization; Caching; device-to-device communication; content delivery networks; time-to-live;

    Sammanfattning : The amount of content downloaded to mobile devices, mainly driven by the demand for video content, threatens to completely congest wireless networks and the trend of ever increasing video traffic is expected to continue unabated for many years. A promising solution to this problem is to store popular content closer to end users, effectively trading expensive bandwidth resources for affordable memory, a technique known as caching. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 5. Verifying Information Flow Control Libraries

    Författare :Marco Vassena; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER