Patent · US Active

Formally verified trusted computing base with active security and policy enforcement

US11442770B2 · kind B2 · utility

1Cited by

24References

16Claims

0Family size

Assignee

BedRock Systems, Inc. · US

Inventors

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

Key dates

Filing date	Oct 13, 2021
Grant date	Sep 13, 2022
Priority date	—
Expiry date	Oct 13, 2041

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.