MDLinks Directory
MDLinks Directory

Top: Computers: Software: Operating_Systems: Realtime: EROS:

EROS (10)

Categories:

See Also:
Sites:

http://www.capros.org/
» CapROS Open in a new browser window
   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/
http://en.wikipedia.org/wiki/Coyotos
» Coyotos Open in a new browser window
   Growing article, with links to many related topics. Wikipedia.
   http://en.wikipedia.org/wiki/Coyotos
http://www.coyotos.org/
» Coyotos Secure Operating System Open in a new browser window
   Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS will migrate directly to Coyotos.
   http://www.coyotos.org/
http://www.eros-os.org/
» EROS-OS.org Open in a new browser window
   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/
http://citeseer.ist.psu.edu/shapiro99eros.html
» EROS: A Fast Capability System Open in a new browser window
   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
http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/mags/so/&toc=comp/mags/so/2002/01/s1toc.xml&DOI=10.1109/52.976938
» EROS: A Principle-Driven Operating System from the Ground Up Open in a new browser window
   Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software]
   http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/mags/so/&toc=comp/mags/so/2002/01/s1toc.xml&DOI=10.1109/52.976938
http://en.wikipedia.org/wiki/Extremely_Reliable_Operating_System
» Extremely Reliable Operating System Open in a new browser window
   Growing article, with links to many related topics. Wikipedia.
   http://en.wikipedia.org/wiki/Extremely_Reliable_Operating_System
http://www.infosecuritymag.com/articles/february00/covera.shtml
» The EROS Alternative Open in a new browser window
   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
http://citeseer.ist.psu.edu/shapiro97verifying.html
» Verifying Operating System Security Open in a new browser window
   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

Newsgroups:
This category needs an editor

Last Updated: 2007-09-25 05:57:32


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and may have been modified by MDLinks directory

Free previews by Thumbshots.org