Russian Federation
Presents algorithms for calculating the quantitative criterion of security of the automated systems (AS) and the effectiveness of the systems of information protection from unauthorized access (GIS LMI) in these systems, implement early times-robotany mathematical model of identification and evaluation of quantitative criteria the AS security based on the requirements of GOST R ISO/IEC 15408-2-2013. Developed by algorithms are an integral part of the system is automatically bundled design (CAD) GIS LMI AC.
computer-aided design system, automated system, the system of information protection from unauthorized access, a quantitative criterion of protection, the algorithm for quantitative security assessment.
I. Введение
Как объект проектирования СЗИ НСД АС представляет собой сложную организационно-программную систему, включающую различные программно-методические и программно-технические комплексы и характеризующуюся большим количеством разнородных параметров. Поэтому её создание требует разработки соответствующих математических моделей, алгоритмов и программных средств, предназначенных для разработки и повышения эффективности функционирования САПР СЗИ НСД АС [1].
1. Norenkov, I. P. Osnovy avtomatizirovannogo proektirovaniya [Tekst] / I. P. Norenkov. - M. : Izd-vo MGTU im. N.E. Baumana, 2000. - 360 s.
2. Drovnikova, I. G. Sposob vychisleniya kolichestvennogo pokazatelya zashchishchennosti avtomatizirovannykh sistem na osnove trebovaniy GOST R ISO/MEK 15408-1-2013 [Tekst] / I. G. Drovnikova, A. A. Nikitin, A. A. Zmeev. Vestnik Voronezhskogo instituta MVD Rossii. - 2015. - № 3.- S. 82-86.
3. GOST R ISO/MEK 15408-2-2013. Informatsionnaya tekhnologiya. Metody i sredstva obespecheniya bezopasnosti. Kriterii otsenki bezopasnosti informatsionnykh tekhnologiy. Chast´ 2. Funktsional´nye trebovaniya bezopasnosti [Tekst]. - M. : IPK Izdatel´stvo standartov, 2013.
4. Zubritskiy, P. Yu. Odin iz podkhodov v raspoznavanii sistemoy zashchity informatsii ob´´ektov v usloviyakh nepolnoty apriornykh svedeniy / P. Yu. Zubritskiy, V. V. Lavlinskiy, A. A. Tokarev. Inzhenernaya fizika. - 2010. - № 3. - S. 21-25.
5. Zubritskiy, P. Yu. Informatsionnoe obespechenie dlya otsenki porogovykh znacheniy v raspoznavanii relevantnykh svoystv informatsionnykh ob´´ektov v usloviyakh apriornoy neopredelennosti [Tekst] / P. Yu. Zubritskiy, V. V. Lavlinskiy. Vestnik Voronezhskogo gosudarstvennogo tekhnicheskogo universiteta. - 2011. - T.7. - №6. - S. 209-214.
6. Lavlinskiy, V. V. Model´ vyyavleniya zakonomernostey preodoleniya sredstv zashchity informatsii [Tekst] / V. V. Lavlinskiy, D. V. Sysoev. Informatsionnye tekhnologii i vychislitel´nye sistemy. - 2001. - № 4. - S. 78.
7. Lavlinskiy, V. V. Metod opredeleniya raspoznavaniya sistemoy zashchity informatsii ob´´ektov vozdeystviya v usloviyakh nepolnoty apriornykh svedeniy o nikh [Tekst] / V. V. Lavlinskiy, O. V. Churko. Vestnik Voronezhskogo instituta vysokikh tekhnologiy. - 2008. -№ 3. - S. 035-045.
8. Lavlinskiy, V. V. Formal´nye predposylki resheniya problemy otsenki zashchishchennosti informatsii ot utechki po tekhnicheskim kanalam [Tekst] /V. V. Lavlinskiy, Yu. Yu. Gromov, S. S. Nikulin, A. M. Sychev. Promyshlennye ASU i kontrollery. - 2014. - № 5. - S. 69-75.
9. Lavlinskiy, V. V. Sistemy zashchity informatsii i «proniknoveniya», ikh vzaimodeystvie [Tekst] / V. V. Lavlinskiy, D. V. Sysoev, O. V. Churko, A. A. Mitsel´. Doklady Tomskogo gosudarstvennogo universiteta sistem upravleniya i radioelektroniki. - 2007. - T. 2. - S. 15-17.
10. Lavlinskiy, V. V. Postroenie topologicheskogo prostranstva vzaimodeystviya sistemy zashchity informatsii s vneshney sredoy [Tekst] / V. V. Lavlinskiy, D. V. Sysoev, O. V. Churko, N. T. Yugov. Doklady Tomskogo gosudarstvennogo universiteta sistem upravleniya i radioelektroniki. - 2007. - T. 2. - S. 29-33.
