Sökning: "datalog"
Hittade 2 avhandlingar innehållade ordet datalog.
1. A Policy Semantics and a Programming Language for Securing Software
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
2. Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement
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