One - Representative Safety Analysis in theNon - Monotonic Transform


We analyze the safety question for the Non-Monotonic Transform (NMT) model, an access control model that encompasses a wide variety of practical access control mechanisms. In general, safety analysis, i.e whether it is possible for a speciied subject to obtain a given access right for a certain object, is computationally intractable , even for many… (More)