Sökning: "Filippo Del Tedesco"

Hittade 2 avhandlingar innehållade orden Filippo Del Tedesco.

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

  3. 2. 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