| Home Web Directory Metasearch Message Boards Classified Ads
|
Top: Computers: Software: Operating_Systems: Realtime: EROS:
EROS (6)
Categories:
See Also:
Sites:
 |
|
» 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]
http://www.eros-os.org/
|
 |
|
» 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://citeseer.ist.psu.edu/shapiro99eros.html
|
 |
|
» KeyKOS 
Persistent, pure capability, microkernel OS. EROS's famous predecessor.
http://www.cis.upenn.edu/~KeyKOS/
|
 |
|
» 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
|
 |
|
» 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://citeseer.ist.psu.edu/shapiro97verifying.html
|
Newsgroups:
This category needs an editor
Last Updated: 2005-07-12 20:19:58
The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com
|