автоматні моделі, автоматные модели ; бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; експертні системи, ЕС, экспертные системы, ЭС, expert systems, systemes experts ; захист інформації, защита информации, information security ; машини логічного вивидення, машины логического вывода ; системи підтримки прийняття рішень, СППР, системы поддержки принятия решений, decision support systems

В роботі створено автоматну модель процесу прийняття рішень, яка дозволяє побудувати базу знань (БЗ) та відповідні засоби інтерпретації експертних висновків щодо аналізу та управління захистом інформації на основі використання логіки предикатів. Оптимізація логічного виведення програмних засобів базується на спрощенні обчислення предикатів, які подаються у вигляді диз'юнктивної нормальної форми при використанні розробленого алгоритму експертних транзакцій, а також за можливості ітераційного уточнення засобів та заходів щодо підвищення рівня захищеності інформаційних ресурсів. Розкрито задачу злиття БЗ. Наведено архітектуру програмних засобів та проведено порівняльний аналіз функціональності (відносної корисності) застосування даних програмних засобів у порівнянні з аналогами на основі методів підтримки прийняття рішень, за рахунок чого визначено сферу застосування подібної системи. Основні результати дисертації впроваджені у науково-дослідному центрі систем технічного захисту інформації "ТЕЗІС" та у навчальному процесі кафедри СКС НТУУ "КПІ".

• УДК // Системи автоматичної діагностики