| 
|
Quote: a secure system must start in a consistent and secure state; EROS periodically verifies a consistent, global checkpoint of the entire state of the machine; used for bootstrapping
topics >
all references >
references sa-sz >
Topic:
operating system security
Topic:
bootstrapped systems
Topic:
consistency testing
Topic:
operating system kernel
Quotation Skeleton
In secure systems, we must ensure that the … [p.28] EROS resolves both issues [with current systems] by using … state of the machine, performs a consistency check … is transacted as a whole, no possibility of … of writing (by hand) an initial system image; … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: operating system security (17 items)
Topic: bootstrapped systems (7 items)
Topic: consistency testing (60 items)
Topic: operating system kernel (67 items)