Analysis of security models for computer systems (Q2879989)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Analysis of security models for computer systems |
scientific article; zbMATH DE number 6022833
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analysis of security models for computer systems |
scientific article; zbMATH DE number 6022833 |
Statements
10 April 2012
0 references
security models
0 references
computer systems
0 references
AF-models
0 references
Analysis of security models for computer systems (English)
0 references
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.
0 references
