A survey of formal models for computer securityby Carl E. LandwehrComputersAccess controlWriting a summary for young readers…For young readersBook data: Open Library