Кудин, ДенисКорольков, Владислав2016-05-062016-05-062001Кудин, Д. Применение формальных моделей безопасности для анализа защищенности систем от несанкционированного удаленного администрирования / Денис Кудин, Владислав Корольков // Правове, нормативне та метрологічне забезпечення системи захисту інформації в Україні : науково-технічний збірник. – 2001. – Вип. 2. – С. 67-73. – Бібліогр.: 5 назв.https://ela.kpi.ua/handle/123456789/15635ruОперационная системаудаленное администрированиеполитика безопасностимодель безопасностиподсистема защитыПрименение формальных моделей безопасности для анализа защищенности систем от несанкционированного удаленного администрированияArticleС. 67-73004.056.5