Towards Secure Object Oriented Database Systems

摘要

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.