Sökning: "dynamic enforcement"
Visar resultat 1 - 5 av 30 avhandlingar innehållade orden dynamic enforcement.
1. Dynamic enforcement of decentralized security policies
Sammanfattning : This thesis explores defining security policies in a decentralized setting and dynamic methods of enforcing such policies. In a decentralized setting, principals are free to trust or distrust other principals. The key challenge is to provide possibilities for expressing and enforcing expressive decentralized policies. 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
3. Securing functional programs with floating-label information-flow control
Sammanfattning : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. LÄS MER
4. Dynamic Enforcement of Differential Privacy
Sammanfattning : With recent privacy failures in the release of personal data, differential privacy received considerable attention in the research community. This mathematical concept, despite its young age (Dwork et al. LÄS MER
5. Dynamic Enforcement of Differential Privacy
Sammanfattning : With recent privacy failures in the release of personal data, differential privacy received considerable attention in the research community.This mathematical concept, despite its young age (Dwork, 2006), has grabbed the attention of many researchers for its robustness against identification of individuals even in presence of background information. LÄS MER