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

Eduardo B. Fernández Robert B. France D. Wei

Published in: DBSec (1995)

Keyphrases

object oriented databases
formal specification
high level
management system
databases
model checking
object oriented database model
database
expert systems
conceptual model
specification language