TY JOUR TI FORMAL MODEL OF THE RISK MANAGEMENT SYSTEM OF THE STANDARD INFORMATION-COMPUTER NETWORK OF DEPARTMENT OF STATE FIRE SERVICE OF EMERCOM OF RUSSIA KW formal model KW algorithm KW management KW information risk JO Problems of risk management in the technosphere AU Antyukhov, V.I. AU Kravchuk, O.V. PY 2014 IS 2014 PB Saint-Petersburg University of State Fire Service of Emercom of Russia