Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці

dc.contributor.authorІлляшенко, Олег Олександровичuk
dc.date.accessioned2018-11-20T12:30:27Z
dc.date.available2018-11-20T12:30:27Z
dc.date.issued2018
dc.description.abstractДисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 – комп'ютерні системи та компоненти. – Національний технічний університет "Харківський політехнічний інститут", Харків, 2018 р. Дисертаційна робота присвячена розробленню методів та засобів забезпечення виконання вимог до кібербезпеки систем на програмовній логіці. Науковими результатами є: 1) вперше запропонований метод кейс-орієнтованого оцінювання кібербезпеки цифрових компонентів і систем на програмовній логіці, який базується на використанні множини взаємопов'язаних формальних і напівформальних процедур та аналізі можливих помилок при оцінюванні, що дозволяє підвищити рівень запевнення виконання вимог; 2) удосконалено онтологічну модель та нотацію для оцінювання кібербезпеки систем на програмовній логіці, яка, на відміну від відомих, враховує їх процесно-продуктні вразливості та додаткову декомпозицію вимог, а також вводить алгоритми дій при аналізі виконання вимог, що дозволяє підвищити достовірність оцінювання; 3) удосконалено показники глибини деталізації та чіткості формування вимог до кібербезпеки шляхом класифікації вимог з урахуванням можливості їх декомпозиції, а також наявності, типу і структури свідоцтв реалізовності, що дозволяє оцінити граничні значення методичних похибок при оцінюванні та сформувати рекомендації щодо деталізації вимог; 4) отримав подальшого розвитку метод забезпечення інформаційної кібербезпеки цифрових компонентів і систем на програмовній логіці, який, на відміну від відомих, аналізує невідповідності вимог з використанням процедур опису вразливостей і оцінки критичності наслідків втручань, а також визначає множини контрзаходів за критерієм "безпека-вартість", що дозволяє зменшити ризики до прийнятного рівня. Запропоновані методи та засоби дозволяють підвищити достовірність оцінювання та забезпечення виконання вимог до кібербезпеки систем на програмовній логіці.uk
dc.description.abstractThesis for scientific degree of candidate of technical sciences (philosophy doctor) in the specialty 05.13.05 – computer systems and components. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv 2018. The dissertation is devoted to the development of methods and tools of ensuring the cybersecurity requirements compliance of the programmable logic systems. The scientific results are: 1) for the first time, a case-oriented method for the cybersecurity evaluation of digital components and systems on programmable logic is proposed, which is based on using a set of interrelated formal and semi-formal procedures and analyzing possible gaps in the evaluation, that allows increasing the safety and security requirements assurance; 2) the ontological model and notation for cybersecurity evaluation of programmable logic – based systems is improved, which unlike the known ones, takes into account its process-product vulnerabilities and additional decomposition with the introduction of algorithms of requirements compliance actions, which allows increasing the reliability of the evaluation; 3) the indexes of cybersecurity requirements clarity and depth detail are improved taking into account the possibility of their decomposition, as well as the presence, type, and structure of evidence of its implementation, which allows to estimate the limits of methodological errors in the evaluation and to formulate recommendations concerning the requirements detailing; 4) the method of cybersecurity ensuring for digital components and systems on the programming logic have been further developed, which unlike the known ones, allows analyzing the discrepancies of the requirements using the procedures for describing the vulnerabilities and assessing the criticality of the consequences of the intrusions as well as the defining of a set of countermeasures by the "cybersecurity-cost" criterion, that allows risk reduction to an acceptable level.en
dc.identifier.citationІлляшенко О. О. Методи і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіці [Електронний ресурс] : автореф. дис. ... канд. техн. наук : спец. 05.13.05 / Олег Олександрович Ілляшенко ; [наук. керівник Харченко В. С.] ; Нац. техн. ун-т "Харків. політехн. ін-т". – Харків, 2018. – 24 с. – Бібліогр.: с. 18-22. – укр.uk
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/38543
dc.language.isouk
dc.publisherНаціональний технічний університет "Харківський політехнічний інститут"uk
dc.subjectпрограмовна логікаuk
dc.subjectкібербезпекаuk
dc.subjectінформаційна безпекаuk
dc.subjectаналіз розривівuk
dc.subjectнотаціяuk
dc.subjectавтореферат дисертаціїuk
dc.subjectprogrammable logic systemsen
dc.subjectcybersecurityen
dc.subjectadvanced security assurance caseen
dc.subjectgap-analysisen
dc.subjectontologyen
dc.subjectnotationen
dc.subjectrequirements clarity indexen
dc.subject.udc004.056:004.312 (043.3)
dc.titleМетоди і засоби забезпечення виконання вимог до кібербезпеки систем на програмовній логіціuk
dc.title.alternativeMethods and means of the cybersecurity requirements compliance ensuring for programmable logic systemsen
dc.typeThesisen
thesis.degree.advisorХарченко Вячеслав Сергійовичuk
thesis.degree.committeeMemberКачанов Петро Олексійовичuk
thesis.degree.committeeMemberКондрашов Сергій Івановичuk
thesis.degree.committeeMemberЛіберг Ігор Геннадійовичuk
thesis.degree.departmentСпеціалізована вчена рада Д 64.050.14uk
thesis.degree.discipline05.13.05 – комп'ютерні системи та компонентиuk
thesis.degree.grantorНаціональний технічний університет "Харківський політехнічний інститут"uk
thesis.degree.levelкандидатська дисертаціяuk
thesis.degree.nameкандидат технічних наукuk

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
avtoreferat_2018_Illiashenko_Metody_i_zasoby.pdf
Розмір:
1.45 MB
Формат:
Adobe Portable Document Format

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.21 KB
Формат:
Item-specific license agreed upon to submission
Опис: