%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