NoMoz Directory NoMoz Directory
NoMoz Directory

    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 Open in a new window
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 FeaturedDelete this link - No additionsAdd your link and delete this linkAdd a regular link
ScreenShot:
Verifying Operating System Security