Analysis of security models for computer systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1249.68070
publication date: 2012-04-10T00:00:00Z
Mathematics Subject Classification ID: 68P30
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6022833
zbMATH Keywords: security models
zbMATH Keywords: computer systems
zbMATH Keywords: AF-models
MaRDI profile type: Publication
author: V. V. Skobelev
title: Analysis of security models for computer systems
published in: Trudy Instituta Prikladnoĭ Matematiki i Mekhaniki
review text: 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.
description: scientific article; zbMATH DE number 6022833