Sökning: "Daniel Schoepe"

Hittade 2 avhandlingar innehållade orden Daniel Schoepe.

1. 1. Flexible and Practical Information-Flow Control

   Författare :Daniel Schoepe; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software security; information flow;

   Sammanfattning : As more and more sensitive data is handled by software, itstrustworthiness becomes an increasingly important concern. This thesispresents work on ensuring that information that is processed bycomputing systems is not disclosed to third parties without the user'spermission; i.e. to prevent unwanted flows of information. LÄS MER

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