Top : Computers : Software : Operating Systems : Realtime :
EROS
Websites
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]
site exerpt
The EROS Operating System S research effort has ended. Work is continuing from the EROS code base in the CapROS project, which is led by Charlie Landau. There are also some commercial collaborations that are building on EROS and its successors.The group at Hopkins...Persistent, pure capability, microkernel OS. EROS's famous predecessor.
site exerpt
KeyKOS Home Page In talking about it with many people over the past few years, I've received many requests for papers and other information. This page is an attempt to collect KeyKOS-related information in one place. The collection of papers provided here is...Shapiro interview in 'Open-Source Security' issue. Of open source OSs, most people think only Linux and OpenBSD. But another open-source OS's architecture may be more secure than either of them. [Information Security Magazine]
http://www.infosecuritymag.com/articles/february00/covera.shtml
Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software]
http://csdl.computer.org/comp/mags/so/2002/01/s1026abs.htm
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]
http://citeseer.ist.psu.edu/shapiro97verifying.html
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]
http://citeseer.ist.psu.edu/shapiro99eros.html