Web Directory
 

Verifying Operating System Security

  Link Details for: Verifying Operating System Security
Link Title: Verifying Operating System Security Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Verifying Operating System Security