Формальні методи аналізу вразливостей систем електронного документообігу
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Одеса : Міжнародний університет ; НУ "ОЮА"
Abstract
У роботі досліджено вразливості систем електронного документообігу (СЕД) з використанням формальних методів моделювання. Запропоновано методику аналізу на основі моделі загроз STRIDE та інструментів формальної верифікації NuSMV і TLA+. Виявлено та усунуто логічні помилки в протоколах документообігу. Показано, що формальна верифікація досягає 100% ефективності у виявленні критичних вразливостей, що підтверджує доцільність її застосування в критичних системах.
Description
Тімофєєв О. О. Формальні методи аналізу вразливостей систем електронного документообігу / О. О. Тімофєєв // Передові технології в інформаційно-комунікаційній інженерії (ATICE'2025) : зб. матеріалів міжнар. конф. (зимовий форум) / відп. ред. І. М. Соловська, Д. М. Розенвассер. – Одеса : Міжнародний університет, 2025. – С. 55-59. - Режим доступу: https://doi.org/10.32837/11300.31336
Citation
Тімофєєв О. О. Формальні методи аналізу вразливостей систем електронного документообігу // Передові технології в інформаційно-комунікаційній інженерії (ATICE'2025) : зб. матеріалів міжнар. конф. (зимовий форум). Одеса : Міжнародний університет, 2025. С. 55-59. DOI: https://doi.org/10.32837/11300.31336