Search for dissertations about: "Bart van Delft"
Found 2 swedish dissertations containing the words Bart van Delft.
-
1. A Policy Semantics and a Programming Language for Securing Software
Abstract : 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. READ MORE
-
2. Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement
Abstract : 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. READ MORE