Abstract
In this paper, we propose a formal approach for securing object oriented database systems. We combine the specification of object oriented database with security policies and provide its formal syntax and semantics. The properties in the inheritance of authorizations in object oriented database system is also investigated in detail.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Y. Bai, On Formal Specification of Authorization Policies and Their Transformations, Ph.D. Thesis, School of Computing and Information Technology, University of Western Sydney Nepean, 2000.
Y. Bai and V. Varadharajan, A Logical Formalization for Specifying Authorizations in Object Oriented Databases, Proceedings of IFIP Working Conference on Database Security, pp. 259–269, 1999.
M. Gelfond and V. Lifschitz, Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9: pp. 365–385, 1991.
M. Kifer, G. Lausen, J. Wu, Logical Foundations of Object-oriented and Framebased Languages. Journal of ACM, Vol. 42, No. 4 (july), pp. 741–843, 1995.
S.Y.W. Su and L. Raschid, Incorporating Knowledge Rules in a Semantic Data Model: An Approach to Integrated Knowledge Management, Proceedings of AI Applications Conference, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bai, Y. (2002). Towards Secure Object Oriented Database Systems. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. OTM 2002. Lecture Notes in Computer Science, vol 2519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36124-3_71
Download citation
DOI: https://doi.org/10.1007/3-540-36124-3_71
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00106-5
Online ISBN: 978-3-540-36124-4
eBook Packages: Springer Book Archive