Patent · US Active

Formally verified trusted computing base with active security and policy enforcement

US12099864B2 · kind B2 · utility

0Cited by

25References

20Claims

0Family size

Assignee

BlueRock Security, Inc. · US

Inventors

Osman Abdoul Ismael · Palo Alto, US
Ashar Aziz · Kendall, US
Jonas Pfoh · Dresden, DE

Key dates

Filing date	Sep 12, 2022
Grant date	Sep 24, 2024
Priority date	—
Expiry date	Sep 12, 2042

Classification

Technology area (CPC G)Physics
CPC primaryG06F2009/45595
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A formally verified trusted computing base with active security and policy enforcement is described. The formally verified trusted computing base includes a formally verified microkernel and multiple formally verified hyper-processes including a virtual machine monitor (VMM), virtual machine introspection (VMI), policy enforcers including an active security policy enforcer (ASPE), and a virtual switch. The active security and policy enforcement continuously monitors for semantic behavior detection or policy violations and enforces the policies at the virtualization layer. Further, policies can be attached to the network layer to provide granular control of the communication of the computing device.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.