C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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