Sökning: "security-type systems"

Hittade 2 avhandlingar innehållade orden security-type systems.

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. Policies and mechanisms for secure information release

   Författare :Aslan Askarov; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Security assurance is an important challenge for modern computing. Intentional information release (declassification) is often crucial for such assurance. Security-critical systems demand expressive policies for information release that are beyond what conventional security models may offer. LÄS MER