 |
EROS-OS.org
Extremely Reliable OS; home site. Small, secure, real-time microkernel with orthogonal persistence: pull the plug and restart with no losses. Related to, and working with, ERights.org on E programming language. [Open source, GPL]
http://www.eros-os.org/
Eros-os.org ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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]
http://www.infosecuritymag.com/articles/february00/covera.shtml
Infosecuritymag.com ~
Site Info
Whois
Trace Route
RBL Check
|
 |
CapROS
Capability-based Reliable Operating System; home site; non-academic evolution and continuation of EROS system, begun in 2005; EROS was pure research, CapROS is intended to be stable commercial quality system.
http://www.capros.org/
Capros.org ~
Site Info
Whois
Trace Route
RBL Check
|
 |
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]
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.4902
Psu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
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]
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.400
Psu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
