Analysis of access in the Take-Grant model

Abstract

The article discribe methods of verifing the conditions of access in computer systems based on Take-Grant protection model.