Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A formal specification of an authorization model for object-oriented databases
Proceedings of the ninth annual IFIP TC11 WG11.3 working conference on Database security IX : status and prospects: status and prospects
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
A language for specifying sequences of authorization transformations and its applications
ICICS '97 Proceedings of the First International Conference on Information and Communication Security
A Logic For State Transformations in Authorization Policies
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
| Hi-index | 0.00 |
Authorization specification in object oriented databases is being increasingly investigated recently by many researchers [4,5,7,9,10]. However, most of the work todate suffers from a lack of formal logic semantics to characterize different types of inheritance properties of authorization policies among complex data objects. This paper is to address this issue from a formal logic point of view. In particular, we propose a logic language that has a clear and declarative semantics to specify the structural features of object oriented databases and authorizations associated with complex data objects in databases. Our formalization characterizes the model-theoretic semantics of object oriented databases and authorizations associated with them. A direct advantage of this approach is that we can formally specify and reason about authorizations on data objects without loosing inheritance and abstraction features of object oriented databases.