Коваленко О. В. Моделі та методи розроблення безпечного програмного забезпечення комп’ютерних систем

Дисертаційна робота присвячена розробці моделей та методів розроблення безпечного програмного забезпечення комп'ютерних систем. Для вирішення поставлених завдань пропонується: удосконалити методи якісного аналізу та кількісної оцінки вразливостей розроблення ПЗ; удосконалити метод оптимізації розподілу ресурсів розроблення безпечного ПЗ; розробити математичну модель технології тестування комплексу DOM XSS вразливостей; розробити математичну модель технології тестування вразливості до SQL-ін'єкцій; розробити комплекс математичних моделей процесу тестування DOM XSS вразливості і вразливості до SQL-ін'єкцій; удосконалити імітаційну модель технології тестування безпеки; розробити метод передтестової компіляції і розподілу доступу. Результати дисертаційної роботи впроваджено в діяльність комерційних підприємств та навчальних закладах України. Ключові слова: безпечне програмного забезпечення, ідентифікація вразливостей, якісний та кількісний аналіз вразливостей, безпека даних, оптимізація розподілу ресурсів розроблення програмного забезпечення, алгоритми тестування безпеки, масштабування, імітаційна модель, GERT-мережі.