A Linear Time Algorithm for Deciding Security.

摘要

The take-grant security system is introduced. Active security agents (subjects) and passive entities (objects) are recognized. A linear time algorithm for recognizing security violations follows from three conditions presented that are proved to be necessary and sufficient for system security. (Author)