 Web Results |
| | 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
Growing article, with links to many related topics. Wikipedia.
http://en.wikipedia.org/wiki/CapROS | | | Coyotos
Growing article, with links to many related topics. Wikipedia.
http://en.wikipedia.org/wiki/Coyotos | | | Coyotos Secure Operating System
Direct EROS research successor; builds on those ideas and experiences; much code developed for EROS will migrate directly to Coyotos.
http://www.coyotos.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 | | | 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/ | | | 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 | | | 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] (February, 2000)
http://www.infosecuritymag.com/articles/february00/covera.shtml |
|
| Sponsored Results |
| | I got CALL GIRL
find a girl. email her. get Laid Tonight. Create a Free Profile.
http://www.RealEscortLadies.com
| | | Find Insurance Agents in Your ZIP Code
Find Local Insurance Agents in your ZIP Code and Compare Agents & National Carriers. Compare Quotes from Top Providers and Begin Saving Today!
http://www.InsWeb.com/local-agents
| | | CheapLubes.com
Store offers personal lubricants, massage oils and condoms. Order lubricants made by Wet International, Probe Lube, Astroglide, Frixion, and Elbow Grease.
http://www.cheaplubes.com/
| | | Free Music
Huge selection of music videos, free on crackle. Find your next favorite band now.
www.crackle.com/c/Animated_Music_Videos
|
|
