capability-based security

computer safety concept and one of the existing security models for design of secure computing systems