Separation Kernel Hypervisor for Malicious Code Detection

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Existing hypervisor systems face limitations in detecting and defending against malicious code, as they cannot prevent themselves from being subverted and allow malicious code to spread between guest operating systems, and they struggle to maintain isolation and security, especially when antivirus software or monitoring agents within the guest operating system are corrupted.

Innovation Solution

The implementation of a Separation Kernel Hypervisor that provides secure and isolated mechanisms for monitoring and detecting malicious code by using Guest Operating System Virtual Machine Protection Domains and a Virtualization Assistance Layer, ensuring that detection mechanisms are proximate to but incorruptible by malicious code, and allowing for real-time notification and context switching to prevent malicious execution.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If a traditional hypervisor is used to support multiple guest operating systems, then virtualization functionality is provided, but the hypervisor cannot defend itself against malicious code and allows malicious code to spread between guests

Engineering Contradiction:
Improvehypervisor securityVSAvoidmalicious code propagation
Core Design Contradiction:
ReliabilityVSObject-generated harmful factors

Solution Approach 1:

The system segments the hypervisor functionality into two distinct components: a traditional hypervisor that provides virtualization services, and a separate separation kernel that provides security and isolation. This segmentation allows the security functions to be isolated from the main hypervisor, preventing malicious code from compromising the entire system while maintaining virtualization capabilities.

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

The separation kernel acts as an intermediary layer between the hypervisor and guest operating systems. It mediates security-critical operations and provides an additional layer of protection, preventing direct access between guests while allowing controlled communication through the kernel's security policies.

Inventive Principle:
Principle #24Intermediary (Mediator)

2Measurement precision

If antivirus software or monitoring agents are placed within the guest operating system, then code execution can be monitored, but the monitoring mechanisms can be corrupted by malicious code

Engineering Contradiction:
Improvecode execution detectionVSAvoidmonitoring agent integrity
Core Design Contradiction:
Measurement precisionVSReliability

Solution Approach 1:

The separation kernel serves as an intermediary monitoring layer that operates outside the guest operating system's control. It provides code execution detection and monitoring capabilities while being protected from corruption by malicious code within guests, as it runs in a privileged, isolated environment.

Inventive Principle:
Principle #24Intermediary (Mediator)

Solution Approach 2:

The monitoring function is moved from the guest operating system dimension to the host system dimension, where the separation kernel operates at a higher privilege level. This dimensional shift allows monitoring to occur in an environment that is spatially and temporally isolated from guest-based malicious code.

Inventive Principle:
Principle #17Another dimension (Dimensionality change)

3Ease of operation

If guests are allowed to poll memory and information within monitored guests, then debugging and security monitoring are enabled, but the monitored guest's isolation and security are compromised

Engineering Contradiction:
Improvemonitoring capabilityVSAvoidguest isolation
Core Design Contradiction:
Ease of operationVSReliability

Solution Approach 1:

The separation kernel acts as an intermediary that controls and mediates all access between guest operating systems. It enables authorized monitoring and debugging operations while enforcing strict isolation policies, allowing security personnel to monitor guests without compromising the fundamental isolation boundaries between them.

Inventive Principle:
Principle #24Intermediary (Mediator)

Data Source

PatentUS11782766B2Systems and methods involving features of hardware virtualization, hypervisor, APIs of interest, and/or other features
Publication Date: 2023.10.10 LYNX SOFTWARE TECHNOLOGIES INC
  • US11782766B2 patent drawing
  • US11782766B2 patent drawing
  • US11782766B2 patent drawing

AI summary

Systems, methods, computer readable media and articles of manufacture consistent with innovations herein are directed to computer virtualization, computer security and/or memory access. According to some illustrative implementations, innovations herein may utilize and/or involve a separation kernel hypervisor which may include the use of a guest operating system virtual machine protection domain, a virtualization assistance layer, and/or a detection mechanism (which may be proximate in temporal and/or spatial locality to malicious code, but isolated from it), inter alia, for detection and/or notification of, and action by a monitoring guest upon access by a monitored guest to predetermined physical memory locations.