A Model for Data Secure Systems.
Abstract
The topic of this work is protection and access control in data base management systems. Because of the diverse nature of the problem the author has studied it with a multi-level modelling technique. This approach allows the treatment of specific issues at a level of abstraction appropriate to that issue. The highest level, the conceptual model, is concerned with a thorough description of the terms and concepts of protection. The second level of modelling, the structural model, is concerned with the basic structure of the data base. The third level, the engineering model, is an attempt to relate the largely theoretical results of the higher levels to some of the practical realities of typical data base management systems. In the lowest level the completeness and correctness of a small demonstration system are discussed. The correctness techniques may be viewed as a sketch of a formal algorithm proof.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1973
- Accession Number
- ADA011359
Entities
People
- Edwin John Mccauley Iii
Organizations
- Ohio State University