 |
EROS Realtime Operating Systems
EROS Realtime Operating Systems
  Computers |
@InterMall Software Shoppe - Discount computer software at greatly reduced prices - Games, business, graphics, educational, desktop publishing, reference, and much more!
[Preview]
Amazon.com Electronics - Top selling consumer electronics at Amazon.com -- camcorders, cameras, home theatre, PDA's, phones, televisions, computer hardware and software and more! Shopping at Amazon.com is always 100% secure, guaranteed.
[Preview]
>> List Your Site Here <<
|
Standard Listings
See Also:
-
- Persistent, pure capability, microkernel OS. EROS's famous predecessor.
-
- 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]
-
- 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]
-
- 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]
-
- Abstract of article by Jonathan S. Shapiro, Norm Hardy; published by IEEE Computer Society. [IEEE Software]
-
- 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]
|

|