Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Software
:
Operating_Systems
:
Realtime
:
EROS
:
Verifying Operating System Security
Link Details for:
Verifying Operating System Security
Link Title:
Verifying Operating System Security
Link URL:
http://citeseer.ist.psu.edu/shapiro97verifying.html
Link Details:
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]
Category:
Top : Computers : Software : Operating_Systems : Realtime : EROS
Link Type:
ScreenShot: