Sökning: "Hypervisor"

Visar resultat 1 - 5 av 8 avhandlingar innehållade ordet Hypervisor.

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

    Författare :Oliver Schwarz; Mads Dam; Christian Gehrmann; Gerwin Klein; KTH; []
    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

  3. 2. Secure System Virtualization : End-to-End Verification of Memory Isolation

    Författare :Hamed Nemati; Mads Dam; Gustavo Betarte; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; Cache attack; Security Monitor; Information Flow; Computer Science; Datalogi;

    Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER

  4. 3. Automatic Characterization and Mitigation of Shared-resource Contention in Multi-core Systems

    Författare :Jakob Danielsson; Mikael Sjödin; Moris Behnam; Seceleanu Tiberiu; Marcus Jägemar; Håkan Grahn; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Multi-core computers are infamous for being hard to use in time-critical systems due to execution-time variations as an effect of shared resource contention. In this thesis, we study the problem of shared resource contention, which occurs when multiple applications executing on different cores do not have exclusive access to of a shared hardware resource. LÄS MER

  5. 4. Performance Implications of Virtualization

    Författare :Sogand Shirinbab; Lars Lundberg; Valeria Cardellini; Blekinge Tekniska Högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cloud computing; Virtualization;

    Sammanfattning : Virtualization is a component of cloud computing. Virtualization transforms traditional inflexible, complex infrastructure of individual servers, storage, and network hardware into a flexible virtual resource pool and increases IT agility, flexibility, and scalability while creating significant cost savings. LÄS MER

  7. 5. Live VM Migration : Principles and Performance

    Författare :Petter Svärd; Erik Elmroth; Eric Jul; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Live Migration; Virtualization; business data processing; administrativ databehandling;

    Sammanfattning : Virtualization is a key technology for cloud computing as it allows several operating system instances to run on the same machine, enhances resource manageability and enables flexible definition of billing units. Virtualization works by adding a software layer, a hypervisor, on top of the hardware platform. LÄS MER