|
Prikladnaya Diskretnaya Matematika, 2009, Number 1(3), Pages 113–116
(Mi pdm55)
|
|
|
|
Mathematical Foundations of Computer Security
Usage formal models for vulnerability analysis
D. N. Kolegov Tomsk State University, Tomsk
Abstract:
In the paper the formal approach to vulnerability analysis based on mathematical security models of the computer systems is considered. The attacker model proposed in “Security assessment information technology criteria” is constructed and mathematical definition of the penetration stability is proposed in the terms of the DP-model.
Citation:
D. N. Kolegov, “Usage formal models for vulnerability analysis”, Prikl. Diskr. Mat., 2009, no. 1(3), 113–116
Linking options:
https://www.mathnet.ru/eng/pdm55 https://www.mathnet.ru/eng/pdm/y2009/i1/p113
|
Statistics & downloads: |
Abstract page: | 1245 | Full-text PDF : | 203 | References: | 46 | First page: | 1 |
|