 |
|
|
Welcome
to the NEW UGN (Undergrounds Network), formerly known as Undergrounds.com!
Browse
our ever growing web directory or any of the other entertainment sites, absolutely
free. Please note that some content has been sourced from the ODP.
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] |
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] |
Jonathan S. Shapiro Page
EROS creator and leader: biography, publications, academic resume, KeyKOS and EROS links. |
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] |
|
SEO |
|
|
|
