DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Separation kernel
Separation kernel
Formal Modelling of Separation Kernels
MILS Architectural Approach Supporting Trustworthiness of the Iiot Solutions
National Information Assurance Partnership
Partitioned System with Xtratum on Powerpc
Empirical Performance Comparison of Hardware and Software Task Context Switching
Raytheon Secure Systems and Networks Delivering Mission Assurance in a Hostile Cyberspace Feature the Benefits of Multi-Level Security
Separation Kernels on Commodity Workstations
Say Goodbye to Virtualization for a Safer Cloud
Leaving Legacy Behind Reducing Carbon Footprint of Network Services with Mirageos Unikernels
Real-Time Operating System Security T
An X86/64 Separation Kernel for High Assurance
Trusted Display on Untrusted Commodity Platforms
End-To-End Verification of Memory Isolation
US Government Protection Profile for Separation Kernels In
Advancing Deductive Program-Level Verification for Real-World
Programming Unikernels in the Large Via Functor Driven Development (Experience Report)
TECHNICAL NOTE Operating System Security Advantages of GEMSOS
Sel4: from General Purpose to a Proof of Information Flow Enforcement
Top View
Robust and Secure Monitoring and Attribution of Malicious Behaviors
Verification of a Separation Kernel
IMA Separation Kernel Qualification Campaign.Pdf
Arxiv:1508.07066V3 [Cs.SE] 10 Jul 2016 Well Suited to Embedded Systems Which Must Provide Guaranteed Safety Or Security Properties
Real Time Operating System
Firecracker: Lightweight Virtualization for Serverless Applications
Green Hills Software INTEGRITY-178B Separation Kernel
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
KVM Security Comparison
8 a Virtualized Separation Kernel for Mixed-Criticality Systems
Scale and Performance in the Denali Isolation Kernel
Sel4: Formal Verification of an OS Kernel
End-To-End Verification of Memory Isolation
Arxiv:2005.02605V1 [Cs.CR] 6 May 2020
Lynxsecure Separation Kernel Hypervisor
Mirageos: Robust and Secure Services for the Cloud
Unikernels: Who, What, Where, When, Why?
Evaluation of MILS and Reduced Kernel Security Concepts for SCADA Remote Terminal Units