Sökning: "dynamic policies"

Visar resultat 1 - 5 av 157 avhandlingar innehållade orden dynamic policies.

  1. 1. Dynamic enforcement of decentralized security policies

    Författare :Jonas Magazinius; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic; enforcement; security; policies; decentralized;

    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

  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

  4. 3. Securing functional programs with floating-label information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

    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

  5. 4. Spatial computable general equilibrium modelling : static and dynamic approaches

    Författare :Marcus Sundberg; Lars Lundqvist; Lars Westin; KTH; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP;

    Sammanfattning : This thesis concerns both static and dynamic modeling in a spatial computable general equilibrium setting. First, we have applied a static framework for the assessment of economic impacts of the Öresund bridge. Secondly, we make an attempt to enhance the static framework through the introduction of economic dynamics. LÄS MER

  7. 5. Harvesting Based Communications for Wireless Control Systems : Event-Trigger and Reinforcement Learning Based Transmission Policies

    Författare :Ruslan Seifullaev; Steffi Knorn; Anders Ahlén; Fredrik Gustafsson; Uppsala universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; wireless control systems; energy harvesting; event-triggered control; Lyapunov stability analysis; fading channel; quantized data; Markov models; Bayesian estimation; reinforcement learning; dynamic programming; Electrical Engineering with specialization in Signal Processing; Elektroteknik med inriktning mot signalbehandling;

    Sammanfattning : Wireless control systems have gained considerable attention in recent years due to their numerous advantages, including increased flexibility and scalability, reduced wiring complexity, and cost-efficiency. Despite these benefits, the use of communication networks in control loops poses various challenges, such as sampled data, latency, packet dropouts, etc. LÄS MER