Анотація до роботи:

Сабат В. І. Інформаційні технології семантичного захисту інформації в системах документообігу. — Рукопис.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – автоматизовані системи управління та прогресивні інформаційні технології, Державний науково-дослідний інститут інформаційної інфраструктури, Львів, 2005.

Дисертація присвячена створенню інформаційних технологій системи захисту документів на основі використання методів аналізу семантики документів. Система захисту розглядається як компонента, що входить в структуру автоматизованої системи документообігу, який включає підсистему виробництва документів, а також підсистему використання документів. Ці дві підсистеми зв’язані між собою двостороннім зв’язком, що дозволяє аналізувати семантику документів не тільки на основі власних семантичних параметрів, а й на основі даних про результати управляючої дії документів на об’єкти управління.

В дисертації досліджено різні типи семантичних небезпек, які можуть привести до реалізації атак на документи і, на основі них, розроблено моделі семантичних загроз. Розроблено структуру системи захисту документів та системи аналізу мети проектування документу, яка використовується при проведенні семантичного контролю документів.

Публікації автора:

1. Сабат В. І. Математичні моделі спеціалізованих семантичних аналізаторів // Моделювання та інформаційні технології. Зб. наук. праць. – Вип. 21. – 2003. – С. 195-203.

2. Сабат В. І. Логічні методи формального опису семантичного аналізу текстів // Зб. наук. праць ІПМЕ ім. Г. Є. Пухова НАН України. – Вип. 20. – 2003. – С. 113-121.

3. Дурняк Б. В., Сабат В. І. Моделі семантичного аналізу з використанням формальних граматик // Зб. наук. праць ІПМЕ ім. Г. Є. Пухова НАН України. – Вип. 21. – 2003. – С. 173-180.

4. Сабат В. І. Теоретичні особливості захисту інформації на основі використання її семантики // Моделювання та інформаційні технології. Зб. наук. праць. – Вип. 22. – 2003. – С. 97-105.

5. Дурняк Б. В., Сабат В. І. Основні небезпеки в системах автоматизованого документообігу // Моделювання та інформаційні технології. Зб. наук. праць. – Вип. 23. – 2003. – С. 121-128.

6. Сабат В. І. Принципи роботи семантичних аналізаторів і використання їх можливостей при розв’язку задач захисту документів // Зб. наук. праць ІПМЕ ім. Г. Є. Пухова НАН України. – Вип. 22. – 2003. – С. 142-151.

7. Сабат В. І. Моделювання семантики загроз документів // Зб. наук. праць ІПМЕ ім. Г. Є. Пухова НАН України. Вип. 23. – 2003. – С. 139-147.

8. Дурняк Б. В., Сабат В. І. Моделі системи захисту документів. Моделювання та інформаційні технології // Зб. наук. праць ІПМЕ ім. Г. Є. Пухова НАН України. – Вип. 25. – 2003. – С. 113-121.

9. Сабат В. І. Реалізація моделі захисту документів на основі семантичного аналізу // Зб. наук. праць ІПМЕ ім. Г. Є. Пухова НАН України. – Вип. 24. –2004. – С. 96-147.

10. Дурняк Б. В., Сабат В. І. Способи організації систем автоматизованого документообігу // Інформаційні технології і системи. – Т. 7, №1. – 2004. – С. 59-63.

11. Сабат В. І. Методи захисту документів в системах документообігу // Комп’ютерні технології друкарства. – №12. – 2004. – С. 297-305.

12. Сабат В. І., Дурняк Б. В. Моделі загроз в системі докуметообороту, що ґрунтуються на основі семантики документів // Квалілогія книги. – Вип. 7. – 2004. – С. 15-24.

13. Сабат В. І. Методи визначення загроз в системі документообігу на основі аналізу семантики документів / XXIII наук.-техн. конф. „Моделювання”. Тези доп. ІПМЕ ім. Г. Є. Пухова НАН України, К., 2004. – С. 40-41.

14. Сабат В. І. Захист систем автоматизованого документообігу / Наук.-практ. конф. „Сучасні проблеми телекомунікацій — 2004”. – Матер. конф. Національний університет „Львівська політехніка”, Львів, 2004. – С. 35-36.

15. Сабат В. І. Семантичний аналіз в автоматизованих системах документообігу / Наук.-метод. конф. „Підготовка фахівців в галузі телекомунікацій і Болонський процес”. Матер. конф. Національний університет „Львівська політехніка”, Львів, 2004. – С. 35-36.