A Formal Specification of an Authorization Model for Object-Oriented Databases.

Eduardo B. Fernández Robert B. France D. Wei A Formal Specification of an Authorization Model for Object-Oriented Databases. 95-110 1995 conf/dbsec/1995 DBSec db/conf/dbsec/dbsec95.html#FernandezFW95