Operating Systems
|
Operating Systems
|
|
| Operating Systems > Realtime > EROS |
| Categories |
|
|
|
| EROS-OS.org
Extremely Reliable OS. Small, secure, real-time microkernel with orthogonal persistence: pull the plug and restart with never a problem. Related to, and working with, ERights.org on E programming language. [Open source, GPL] |
|
EROS: A Fast Capability System
This capability-based OS for commodity processors uses a one level storage model; store persistence is transparent to applications. Surprisingly, performance of this very high security system matches normal OSs. [ResearchIndex] |
|
Verifying Operating System Security
A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex] |
|
EROS: A Principle-Driven Operating System from the Ground Up
Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software] |
The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.
Copyright © 2002-2006, websy.net All Rights Reserved.