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