A Linear Time Algorithm for Deciding Subject Security
R.J. Lipton, Lawrence Snyder · Journal of the ACM · 1977
A particular protection mechanism from the protection hterature-the take and grant system--is presented For this particular mechanism, it is shown that the safety problem can be solved in linear time Moreover the security policies that this mechanism can enforce are characterized KEY WORDS AND PHRASES protection,