Analysis of security models for computer systems

MaRDI QIDQ2879989zbMATH OpenFDO

Authors V. V. Skobelev

Publication date 10 April 2012

Published in Trudy Instituta Prikladnoĭ Matematiki i Mekhaniki (Search for Journal in Brave)

zbMATH Keywords

AF-modelscomputer systemssecurity models

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Cryptography (94A60)

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.

Recommendations

• Usage formal models for vulnerability analysis
• Review lection of security models of computer system
• scientific article; zbMATH DE number 3875137
• Mathematical and computer modelling in information system security
• scientific article; zbMATH DE number 7300343

Cited in

(20)

• Elements of security: Closure, convergence, and protection
• Design of secure operating systems with high security levels
• Mathematical and computer modelling in information system security
• About unified model of safety of information systems
• scientific article; zbMATH DE number 3865169 (Why is no real title available?)
• scientific article; zbMATH DE number 1198989 (Why is no real title available?)
• An object-based version of the path context model
• scientific article; zbMATH DE number 2009987 (Why is no real title available?)
• scientific article; zbMATH DE number 2080185 (Why is no real title available?)
• scientific article; zbMATH DE number 1504782 (Why is no real title available?)
• An extended stochastic model for quantitative security analysis of networked systems
• DP-model application for network security analysis
• Modern models and mechanisms in information security
• Usage formal models for vulnerability analysis
• Teaching the models of access and information flows management within discipline ``theoretical foundations of computer security
• Review lection of security models of computer system
• Formation of a dictionary of terms in the theory of modeling the secure access and information flows control in computer systems
• Formal security models
• Fault-tree modelling of computer system security
• scientific article; zbMATH DE number 2219414 (Why is no real title available?)

This page was built for publication: Analysis of security models for computer systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879989)