A Model for Data Secure Systems.
OHIO STATE UNIV COLUMBUS COMPUTER AND INFORMATION SCIENCE RESEARCH CENTER
Pagination or Media Count:
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.
- Computer Systems Management and Standards