Sökning: "datalog"

Hittade 2 avhandlingar innehållade ordet datalog.

1. 1. A Policy Semantics and a Programming Language for Securing Software

   Författare :Bart van Delft; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; datalog; static enforcement; security policy language; information flow;

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

3. 2. Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement

   Författare :Bart van Delft; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic policies; datalog; information flow control; enforcement; security condition;

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