Verifying Operating System Security

A confined program is one which is unable to leak information to an unauthorized party or modify unauthorized resources. Confinement is an essential feature ...