Abstract
In this paper, we propose a logic formalization to specify authorizations in object-oriented databases. Our formalization has a high level language structure, and it can be used to specify various types of authorizations associated with object oriented databases. Formal syntax and semantics are also provided for the formalization.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35508-5_22
Chapter PDF
References
Bai, Y. and Varadharajan, V. (1998). A Logical Formalization for Specifying Authorizations in Object-Oriented Databases. Manuscript.
Bai, Y. and Varadharajan, V. (1997). A language for specifying sequences of authorization transformations and its applications. Proceedings of the 1997 International Conference on Information and Communication Security. Lecture Notes in Computer Science, Springer-Verlag, 1334, pp. 3949.
Fernandez, E.B., Gudes, E. and Song, H. (1989). A security model for object-oriented databases. Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 110–115.
E.B. Fernandez, R.B. France and D. Wei (1995). A formal specification of an authorization model for object-oriented databases. Database Security, IX: Status and Prospects (eds. Spooner et al.), Elsevier Science Publishers B. V., pp. 95–109.
Gelfond, M. and Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, pp. 365–385.
Gudes, E., Song, H. and Fernandez, E.B. (1991). Evaluation of negative, predicate, and instance-based authorization in object-oriented databases. Database Security, IV: Status and Prospects (eds. S. Jajodia and C.E. Landwehr ), Elsevier Science Publishers B. V., pp. 85–98.
Kifer, M., Lausen, G. and Wu, J. (1995). Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4), pp. 741843.
Lunt, T.F. (1990). Discretionary Security for Object-Oriented Database Systems. Technical Report 7543, Computer Science Laboratory, SRI International.
Millen, J.K. and Lunt, T.F. (1992). Security for object-oriented database systems. Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 260–272.
Su, S.Y.W. and Raschid, L. (1985). Incorporating knowledge rules in a semantic data model: An approach to integrated knowledge management. Proceedings of the AI Applications Conference.
Su, S.Y.W., Krishnamurthy, V. and Lam, H. (1998). An objected-oriented semantic association model (OSAM*), AI in Industrial Engineering and Manufacturing: Theoretical Issues and Applications (eds. S. Kumara, R. Kashyap and A.L. Soyster ), ALLE
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Bai, Y., Varadharajan, V. (2000). A Logical Formalization for Specifying Authorizations in Object-Oriented Databases. In: Atluri, V., Hale, J. (eds) Research Advances in Database and Information Systems Security. IFIP — The International Federation for Information Processing, vol 43. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35508-5_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-35508-5_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6411-6
Online ISBN: 978-0-387-35508-5
eBook Packages: Springer Book Archive