Формалізована модель оцінки гарантій інформаційної безпеки комплексної системи захисту інформації
Journal Title: Системи озброєння і військова техніка - Year 2018, Vol 14, Issue 4
Abstract
Розглянуті особливості проведення оцінювання гарантій інформаційної безпеки для комплексної системи захисту інформації у відповідності до державних та міжнародних стандартів. Запропоновано застосування формалізованої моделі процесу оцінювання вимог гарантій інформаційної безпеки суб’єктів експертизи із застосуванням аксіоматичних конструкцій. Така модель дозволяє здійснювати дослідження процесу оцінювання гарантій інформаційної безпеки та визначати вимоги до результатів експертизи, щодо неупереджуваності, об’єктивності, повторюваності, відтворюваності і порівнянності.
Authors and Affiliations
Дмитро Комін, Олександр Чечуй, Михайло Левченко, Володимир Павловський
Keywords
Related Articles
- EP ID EP455715
- DOI 10.30748/soivt.2018.56.13
- Views 111
- Downloads 0
Математична модель визначення бойового функціонування блочної загороджувальної перешкоди
Розглянуто математичну модель визначення бойового функціонування блочної загороджувальної пе-решкоди із міцних матеріалів, яка використовується на блок-постах і контрольно-перепускних пунктах, підрозділів, що займають об...
Оцінка точності визначення координат та курсу морського об'єкту в умовах невизначеності
Оцінені методичні похибки вироблення геодезичних координат, які викликані неточним урахуванням радіусів кривизни прийнятого для навігації загально-земного еліпсоїда при роботі системи числення. Показано, що такі помилки...
Імітаційна модель оцінки дій ударних безпілотних літальних апаратів
Актуальність питань, що пов'язані з обґрунтуванням раціональних підходів до планування бойових дій з використанням ударних безпілотних літальних апаратів, обумовлює необхідність розробки способів оцін-ки таких дій. Цей н...
Побудова мережецентричної системи підтримки процесів оснащення і розвитку ОВТ на основі використання трансдисциплінарних процедур інтеграції інформаційних ресурсів
У статті запропоновано побудову інформаційно-аналітичної системи підтримки процесів оснащення і розвитку ОВТ здійснити здійснити на основі принципів мережецентричності. При цьому інтеграція різних інформаційних ресурсів...
Методи побудови оптимальних оцінок для дослідження неперервно-дискретних процесів як розв’язків гібридних автоматів
В статті пропонується для дослідження стійкості лінійних гібридних автоматів використовувати оптимізаційний підхід. Побудовано оптимізаційну задачу, яка випливає з теорем про стійкість розв’язків гібридного автомату. Дов...