Analysis of security models for computer systems
A survey of computer security theory is given. A retrospective analysis of models which exerted a major influence on the development of this theory is presented. The class of AF-models, the elaboration of which received considerable attention recently and which provides a unified means to overcome the whole range of vulnerabilities of modern nets of computer systems, is characterized. Some problems connected with the interaction of formal models of computer security with any crypt-system are pointed out.
scientific article; zbMATH DE number 6022833