| 
|
Quote: EROS has formal verification of security properties and very little performance loss
topics >
all references >
references sa-sz >
Topic:
operating system security
Group:
security
Topic:
operating system kernel
Quotation Skeleton
The key contributions of EROS are formal verification … First, the primary system architecture is uncompromisingly principle-driven. … is a small, internally consistent architecture whose behavior … architects had prior experience as processor architects. … very little performance is lost in translating abstractions … [into hardware implementations]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: operating system security (17 items)
Group: security (23 topics, 802 quotes)
Topic: operating system kernel (67 items)