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.
Chapter PDF
References
Bailey, D.: A philosophy of security management. In: Abrams, M.D., Jajodia, S., Podell, H.J. (eds.) Information Security: An Integrated Collection of Essays, pp. 98–110. IEEE Computer Society Press, Los Alamitos (1995)
Foley, S.N., Gong, L., Qian, X.: A security model of dynamic labeling providing a tiered approach to verification. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 142–153 (1996)
Garey, M.R., Johnson, D.S.: Computers and Intractability – A Guide to the Theory of NP-completeness. W. H. Freeman and Co., New York (1979)
Harrison, M.A., Ruzzo, W.L., Ullman, J.D.: Protection in operating systems. Commun. ACM 19(8), 461–471 (1976)
Meadows, C.: Policies for dynamic upgrading. In: Jajodia, S., Landwehr, C.E. (eds.) Database Security, IV: Status and Prospects, pp. 241–250. Elsevier Science Publishers B. V, North-Holland (1991)
Sandhu, R.S.: The typed access matrix model. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 122–136 (May 1992)
Sandhu, R.S.: Undecidability of the safety problem for the schematic protection model with cyclic creates. J. Comput. Syst. Sci. 44(1), 141–159 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soshi, M. (2000). Safety Analysis of the Dynamic-Typed Access Matrix Model. In: Cuppens, F., Deswarte, Y., Gollmann, D., Waidner, M. (eds) Computer Security - ESORICS 2000. ESORICS 2000. Lecture Notes in Computer Science, vol 1895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722599_7
Download citation
DOI: https://doi.org/10.1007/10722599_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41031-7
Online ISBN: 978-3-540-45299-7
eBook Packages: Springer Book Archive