ISSN 2413‑1261 

Формальні методи аналізу вразливостей систем електронного документообігу

Simple item page
dc.contributor.authorТімофєєв, Олександр Олександрович
dc.contributor.authorТімофєєв, О. О.
dc.date.accessioned2025-12-19T09:08:05Z
dc.date.issued2025
dc.descriptionТімофєєв О. О. Формальні методи аналізу вразливостей систем електронного документообігу / О. О. Тімофєєв // Передові технології в інформаційно-комунікаційній інженерії (ATICE'2025) : зб. матеріалів міжнар. конф. (зимовий форум) / відп. ред. І. М. Соловська, Д. М. Розенвассер. – Одеса : Міжнародний університет, 2025. – С. 55-59. - Режим доступу: https://doi.org/10.32837/11300.31336
dc.description.abstractУ роботі досліджено вразливості систем електронного документообігу (СЕД) з використанням формальних методів моделювання. Запропоновано методику аналізу на основі моделі загроз STRIDE та інструментів формальної верифікації NuSMV і TLA+. Виявлено та усунуто логічні помилки в протоколах документообігу. Показано, що формальна верифікація досягає 100% ефективності у виявленні критичних вразливостей, що підтверджує доцільність її застосування в критичних системах.
dc.identifier.citationТімофєєв О. О. Формальні методи аналізу вразливостей систем електронного документообігу // Передові технології в інформаційно-комунікаційній інженерії (ATICE'2025) : зб. матеріалів міжнар. конф. (зимовий форум). Одеса : Міжнародний університет, 2025. С. 55-59. DOI: https://doi.org/10.32837/11300.31336
dc.identifier.doihttps://doi.org/10.32837/11300.31336
dc.identifier.urihttps://hdl.handle.net/11300/31336
dc.publisherОдеса : Міжнародний університет ; НУ "ОЮА"
dc.subjectсистеми електронного документообігу (СЕД)
dc.subjectаналіз сучасних СЕД
dc.subjectмодель загроз STRIDE
dc.subjectінструменти формальної верифікації NuSMV і TLA+
dc.titleФормальні методи аналізу вразливостей систем електронного документообігу
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Тімофєєв О. О. Формальні методи аналізу вразливостей систем електронного документообігу.pdf
Size:
311.67 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Передові технології в інформаційно-комунікаційній інженерії (ATICE'2025) (Одеса, Україна, 14 листоп. 2025 р.). : зб. матеріалів міжнар. конф. (зимовий форум)