Geodesic
Usage formal models for vulnerability analysis
Prikladnaâ diskretnaâ matematika, no. 1 (2009), pp. 113-116

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{PDM_2009_1_a6,
     author = {D. N. Kolegov},
     title = {Usage formal models for vulnerability analysis},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {113--116},
     publisher = {mathdoc},
     number = {1},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_1_a6/}
}
TY  - JOUR
AU  - D. N. Kolegov
TI  - Usage formal models for vulnerability analysis
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 113
EP  - 116
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_1_a6/
LA  - ru
ID  - PDM_2009_1_a6
ER  - 
%0 Journal Article
%A D. N. Kolegov
%T Usage formal models for vulnerability analysis
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 113-116
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_1_a6/
%G ru
%F PDM_2009_1_a6
D. N. Kolegov. Usage formal models for vulnerability analysis. Prikladnaâ diskretnaâ matematika, no. 1 (2009), pp. 113-116. http://geodesic.mathdoc.fr/item/PDM_2009_1_a6/