Розглянуто аспекти оцінювання безпеки інформаційно-керуючих систем, які використовують програмовну логіку як об'єкт реалізацій основних функцій. Для виявлення всіх розбіжностей в процесах оцінювання та забезпечення безпеки розглянуто процесно-продуктну модель оцінювання безпеки. Наведено порівняння існуючих кейсів безпеки. Запропоновано модифіковану таксономію оцінювання безпеки систем на програмовній логіці. Вона заснована на термінології, прийнятої в області функціональної та інформаційної безпеки, а також оцінювання з використанням кейсів. Модифікацію нотації здійснено в аспекті розробці алгоритмізації процесу прийняття рішень щодо запевнення безпеки, що дозволяє зменшити невизначеність оцінки. Представлено результати розробки концепції оцінювання інформаційної безпеки систем на програмовній логіці з використанням покращених кейсів запевнення інформаційної безпеки. Вона включає в себе нотацію, кейс-модель (покращений кейс запевнення інформаційної безпеки), яка заснована на представленій нотації, та кейс-технологію, в якості якої подається набір інструментів, послідовність дій і результат, представлений в формалізованому та доказовому вигляді.

  Повний текст PDF - 648.359 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"