Date of Award
1995
Document Type
Thesis
Publication Status
Version of Record
Submission Date
October 2026
Thesis/Dissertation Advisor [Chair]
Fernandez, Eduardo B.
Thesis/Dissertation Co-Chair
France, Robert B.
Abstract
The use of formal methods has become increasingly important for software development. In this thesis, we present the formal specifications for a method-based authorization model for object-oriented databases. We also formalize a proposed user group structuring. We start from an existing OMT (Object Modeling Technique) description and we use Z as language for formal specification. This specification gives a precise definition of the policies and functions of this authorization system. This can be used as a basis for implementation and possible verification in those cases where a high level of security is required.
Extent
74 p.
Recommended Citation
Wei, Dong., "Formal specification of authorization and user group models for object-oriented databases" (1995). Electronic Theses and Dissertations 1990 - 1999. 769.
https://digitalcommons.fau.edu/etd_general_4/769
Identifier
FADT15175
Comments
College of Engineering and Computer Science|FAU Electronic Theses and Dissertations Collection|Thesis (M.S.C.E.)--Florida Atlantic University, 1995.|College of Engineering and Computer Science