Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A Logical Formalization for Specifying Authorizations in Object-Oriented Databases
Proceedings of the IFIP WG 11.3 Thirteenth International Conference on Database Security: Research Advances in Database and Information Systems Security
Hi-index | 0.00 |
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.