Sökning: "Monitoring and enforcement."

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden Monitoring and enforcement..

  1. 1. Formal and Informal Regulations: Enforcement and Compliance

    Författare :Clara Villegas Palacio; Göteborgs universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; technological adoption; environmental policy; imperfect compliance; enforcement; disclosure; image motivation; public goods experiment targeted enforcement; Conditional cooperation; experiment; public goods; social group;

    Sammanfattning : The question I address in the thesis is how cooperation in social dilemma situations and compliance with environmental regulations are determined by legal enforcement, intrinsic motivations and culture. In light of this, the thesis consists of five independent chapters. LÄS MER

  3. 2. Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring

    Författare :Andreas Lundblad; Mads Dam; Gul Agha; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Runtime monitoring; policy enforcement; tree automata; monitor inlining; certification; concurrency;

    Sammanfattning : Reference monitor inlining is a technique for enforcing security policies by injecting security checks into the untrusted software in a style similar to aspect-oriented programming. The intention is that the injected code enforces compliance with the policy (security), without adding behavior (conservativity) or affecting existing policy compliant behavior (transparency). LÄS MER

  4. 3. Safeguarding nature and people : Integrating economics, politics, and human rights to transform biodiversity policies and governance

    Författare :Niak Sian Koh; Thomas Hahn; Claudia Ituarte-Lima; Wiebren J. Boonstra; Grace Wong; Esther Turnhout; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; global environmental governance; human rights review mechanisms; biodiversity offsets; commensurability; commodification; economic instruments; transformations; Convention on Biological Diversity; compliance; safeguards; Sustainability Science; vetenskap om hållbar utveckling;

    Sammanfattning : None of the world’s biodiversity goals from the last decade were fully met, as biodiversity losses are occurring at an unprecedented rate. Policies are not always effective; their use may have adverse effects on people and nature. LÄS MER

  5. 4. 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

  7. 5. Engineering Trustworthy Self-Adaptive Autonomous Systems

    Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Learning; Monitoring and enforcement.; Automotive; System Trustworthiness; Autonomous Systems; Runtime verification; Formal Verification;

    Sammanfattning : Autonomous Systems (AS) are becoming ubiquitous in our society. Some examples are autonomous vehicles, unmanned aerial vehicles (UAV), autonomous trading systems, self-managing Telecom networks and smart factories. LÄS MER