EROS: A Fast Capability System 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) http://citeseer.nj.nec.com/shapiro99eros.html
The EROS Alternative The EROS Alternative: 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] (EROS) http://www.infosecuritymag.com/articles/february00/covera.shtml
EROS-OS.org 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) http://www.eros-os.org/
EROS: A Principle-Driven Operating System from the Ground Up 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] (EROS) http://computer.org/software/so2002/s1026abs.htm
Verifying Operating System Security 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) http://citeseer.nj.nec.com/shapiro97verifying.html
KeyKOS KeyKOS: Persistent, pure capability, microkernel OS. EROS's famous predecessor. (EROS) http://www.cis.upenn.edu/~KeyKOS/
Additional
Information: Canadian Content has no additional information.
-
