Sökning: "formal protection"

Visar resultat 1 - 5 av 31 avhandlingar innehållade orden formal protection.

  1. 1. Privacy Policies for Social Networks - A Formal Approach

    Detta är en avhandling från ; Chalmers tekniska högskola; Gothenburg

    Författare :Raul Pardo Jimenez; [2017]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; privacy; formal methods; online social networks; epistemic logic;

    Sammanfattning : Online Social Networks (OSNs) are ubiquitous, with more than 70% of Internet users being part of them. The pervasive nature of OSNs brings many threats and challenges, privacy being one of them. Very often the available privacy protection mechanisms in OSNs do not meet users requirements. LÄS MER

  2. 2. Ethical aspects of radiation protection

    Detta är en avhandling från Stockholm : KTH

    Författare :Per Wikman-Svahn; KTH.; [2006]
    Nyckelord :HUMANIORA; HUMANITIES; Radiation; risk; ethics; HUMANITIES and RELIGION History and philosophy subjects Philosophy subjects; HUMANIORA och RELIGIONSVETENSKAP Historisk-filosofiska ämnen Filosofiämnen;

    Sammanfattning : This aim of this thesis is to examine ethical aspects of radiation protection from ionizing radiation. Radiation protection is the professional field that deals with the protection of humans and the environment from the harmful effects of radiation. LÄS MER

  3. 3. Protecting forests through partnerships

    Detta är en avhandling från Umeå : Umeå universitet

    Författare :Ulrika Widman; Umeå universitet.; [2016]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; forests; formal protection; forest owners; public-private partnerships; Nature Conservation Agreements; the Komet program; forest governance; Sweden; statskunskap; statskunskap;

    Sammanfattning : This thesis addresses the potential of private-public partnerships (PPPs) to involve private forest owners in formal forest protection. These partnerships have been widely advocated as means to engage actors from diverse sectors in collaborative new relationships, formed in a step-wise manner, to improve management of resources that combine public and private goods. LÄS MER

  4. 4. Ethical Aspects of Radiation Risk Management

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Per Wikman-Svahn; KTH.; [2012]
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; radiation protection; radiological protection; nuclear power; nuclear energy; social issues; ethical issues; ethics; risk; uncertainty; value judgments; precautionary principle; distributive issues; justice; limits; prioritarianism; responsibility; egalitarianism; black swan; black elephant; risk management;

    Sammanfattning : This thesis is based on the assumption that the intersection of moral philosophy and practical risk management is a rewarding area to study. In particular, the thesis assumes that concepts, ideas, and methods that are used in moral philosophy can be of great benefit for risk analysis, but also that practices in risk regulation provide a useful testing ground for moral philosophical theories. LÄS MER

  5. 5. No Hypervisor Is an Island System-wide Isolation Guarantees for Low Level Code

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Oliver Schwarz; KTH.; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; DMA; Peripheral Devices; Instruction Set Architectures; ISA; Information Flow; Boot; Computer Science; Datalogi;

    Sammanfattning : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. LÄS MER