jasminecorp.net directory
Updated Blogs
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

EROS
Directory > Computers > Software > Operating Systems > Realtime > EROS

Web Sitesi

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.nj.nec.com/shapiro99eros.html
Reviews Rating: Not yet Rated Whois Check

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.nj.nec.com/shapiro97verifying.html
Reviews Rating: Not yet Rated Whois Check

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]

http://computer.org/software/so2002/s1026abs.htm
Reviews Rating: Not yet Rated Whois Check

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
Reviews Rating: Not yet Rated Whois Check

KeyKOS
Persistent, pure capability, microkernel OS. EROS's famous predecessor.
http://www.cis.upenn.edu/~KeyKOS/
Reviews Rating: Not yet Rated Whois Check

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/
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia