Search for dissertations about: "Platform Security"

Showing result 6 - 10 of 53 swedish dissertations containing the words Platform Security.

  2. 6. Security and Privacy of Sensitive Data in Cloud Computing

    Author : Ali Gholami; Erwin Laure; Seif Haridi; Schahram Dustdar; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Cloud Computing; Security; Privacy; Trust; Opertaing System; Computer Science; Datalogi;

    Abstract : Cloud computing offers the prospect of on-demand, elastic computing, provided as a utility service, and it is revolutionizing many domains of computing. Compared with earlier methods of processing data, cloud computing environments provide significant benefits, such as the availability of automated tools to assemble, connect, configure and reconfigure virtualized resources on demand. READ MORE

  4. 7. Secure System Virtualization : End-to-End Verification of Memory Isolation

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

    Abstract : 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. READ MORE

  5. 8. Usable Security Policies for Runtime Environments

    Author : Almut Herzog; Nahid Shahmehri; Steven Furnell; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Information security; Usability; Java; Resource control; Virtual machine; Computer science; Datavetenskap;

    Abstract : The runtime environments provided by application-level virtual machines such as the Java Virtual Machine or the .NET Common Language Runtime are attractive for Internet application providers because the applications can be deployed on any platform that supports the target virtual machine. READ MORE

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

    Author : Oliver Schwarz; Mads Dam; Christian Gehrmann; Gerwin Klein; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; DMA; Peripheral Devices; Instruction Set Architectures; ISA; Information Flow; Boot; Computer Science; Datalogi;

    Abstract : 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. READ MORE

  7. 10. Secure execution environment for Java electronic services

    Author : Almut Herzog; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Java; security; Residential Gateway; threads; resource control; Computer science; Datavetenskap;

    Abstract : Private homes are becoming increasingly connected to the Internet in fast and reliable ways. These connections pave the way for networked services, i.e. services that gain their value through their connectivity. READ MORE