Analysis of access in the Take-Grant model

This work addresses security verification for computer systems, but it appears incremental as it builds on an existing model without clear new advancements.

The paper tackles the problem of verifying access conditions in computer systems using the Take-Grant protection model, but it does not provide concrete results or numbers.