|
EROS
Do you need EROS?
Check it out the following sites about EROS, or search EROS
» 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: 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: 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]
» KeyKOS - Persistent, pure capability, microkernel OS. EROS's famous predecessor.
» 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]
» 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]
|
|
| RedTube |
| Redtube is the great video and chat website with lot of beautiful girls online 24h day |
|
Ciaoamigos | | Chatta con belle ragazze in cam su Ciao Amigos Entra a far parte della community piu divertente del web! |
|
Magic-Search |
Search the web easy at Magic-Search.com
Join affiliate program and make money |
|
Work at home
| | Looking for a Work at Home Business? Earn income world wide Simple and fun. |
|
Buy This Box! |
Do you want to Promote your website? Try FindingWeb Keyword Sponsor Box for ONLY $30 a Month! Try also our pay per click advertising!
Sign up Now! |
|
