6th European Symposium on Research in Computer Security (ESORICS 2000)
Safety Analysis of the Dynamic-Typed Access Matrix Model
Masakazu Soshi
Keywords : access control, access matrix model, safety problem, computational complexity, decidability
Abstract : The safety problem in access matrix models is the one to determine whether or not a given subject can eventually obtain an access privilege to a given object. Unfortunately, little is known about protection systems for which the safety problem is decidable, except for strongly constrained systems (e.g., monotonic systems). Therefore, we propose the Dynamic-Typed Access Matrix Model, which extends Typed Access Matrix model by allowing the type of an object to change dynamically. DTAM model has an advantage that it can describe non-monotonic protection systems for which the safety problem is decidable. In this paper, we formally define DTAM model and then discuss various aspects of it.
(Pages 106-121)