Дисертації та автореферати
Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/16999
Електронна повнотекстова колекція авторефератів та дисертацій, упорядкована за назвами спеціальностей
Переглянути
Документ Проектування програмних засобів комп'ютерних систем критичного застосування для забезпечення інформаційної безпеки(НТУ "ХПІ", 2018) Халіфе, КассемДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. В дисертації вирішено завдання забезпечення необхідного рівня безпеки системних програмних засобів на основі синтезу методу проектування ПЗ КСКЗ. На підставі вивчення сучасних методологій проектування ПЗ встановлено, що існує протиріччя між збільшенням ступеня використання системних програмних засобів в комп'ютерних системах критичного застосування, підвищенням вимог до його безпеки та існуючим станом методів ПЗ КСКЗ. Обґрунтовано вибір технології математичної формалізації на основі GERT-мережі. Розроблено комплекс математичних моделей технології управління та тестування програмних засобів, що складається з GERT-моделі тестування програмних засобів та GERT-моделі системи управління тест-кейсами. Це дозволило підвищити точність результатів математичного моделювання в умовах тестування на уразливості до різного роду загроз зловмисних хакерських вторгнень та проводити попередню оцінку часових витрат етапу розробки технічної документації проекту. Розроблено метод масштабування методології проектування програмних засобів з урахуванням вимог безпеки, що відрізняється від відомих можливістю управління існуючими в організації силами як в складі команди, так і в площині фахівців суміжного напряму. Розроблено математичні моделі етапу ініціалізації та реалізації функціоналу програмних засобів. Це дозволило виділити ряд найбільш важливих параметрів оцінки часових витрат ініціалізації, визначити їх залежності від якісних характеристик учасників проекту, та підвищити точність результатів моделювання на 3%. Синтезовано спосіб масштабування існуючої методології проектування програмних засобів комп'ютерних систем критичного застосування з урахуванням вимог безпеки. Обґрунтовано практичні рекомендації щодо застосування розроблених методів.