Особливості створення нових інформаційних технологій захисту документів на основі контролю їх семантики для автоматизованої системи управління документообігом, що включає підсистему виробництва документів та специфіку підсистеми використання документів.
Аннотация к работе
В традиційних системах документообігу компоненти використання документів виносяться за рамки системи, а сама система документообігу розглядається як формальний засіб для проектування документів та для ведення їх обліку. У звязку з тим в дисертації обґрунтовано можливість розроблення інформаційних технологій семантичного захисту інформації у структурі автоматизованої системи електронного документообігу, до складу якої входять не тільки засоби проектування, але й підрозділи використання документів, повязані між собою як прямими, так і зворотними звязками. Разом з тим, для успішного функціонування автоматизованих систем документообігу важливим є забезпечення захисту документів і в першу чергу - інформації, яка міститься в них. Метою роботи є створення нових інформаційних технологій захисту документів на основі контролю їх семантики для автоматизованої системи управління документообігом, що включає підсистему виробництва документів та підсистему використання документів. інформаційний документ автоматизований семантика Розроблені алгоритми загальної організації роботи системи семантичного захисту документів на основі семантичного аналізу їх, дають можливість реалізувати програмні засоби семантичного аналізу та захисту документів, а розроблені алгоритми семантичного контролю окремих компонент тексту документів та документів у цілому, дають можливість виявляти семантичні суперечності в автоматизованих системах документообігу, визначати величини семантичних загроз і коригувати інформацію в документах для подолання небезпек несанкціонованого доступу.До документів у системі документообігу віднесено тексти, які мають певну функціональну орієнтацію і відповідають таким умовам та обмеженням: текстовий документ призначається для здійснення управління соціальними обєктами, або соціальними процесами; кожний документ повинен відповідати певним вимогам, які визначають його форму та допустимий зміст, що відображається в текстовій формі; спроектований і випущений документ в рамках АСДО повинен мати час існування, на протязі якого відповідний документ може використовуватися; кожний документ повинен мати параметри, які регулюють спосіб його функціонування в АСДО. На етапі проектування документа можуть існувати такі загрози: заміна суті опису управляючої дії; зміна значень параметрів документа; несанкціоноване створення документа; впровадження в документ компонент або фрагментів, які повністю або частково суперечать початковій меті проектування документів; використання несертифікованих засобів для проектування документів; зміна технологічних етапів проектування документа. Кожний окремий елемент засобів захисту функціонує таким чином: розпізнає дію атаки на документ чи на АСДО в цілому; здійснює протидію атаці, або нейтралізує її дію; формує елементи, які постійно знаходяться в технологічному циклі і завдяки яким успішне втручання в документ відповідною атакою стає неможливим, або модифікує компоненти технологічного процесу таким чином, щоб реалізація уже розпізнаної атаки при її повторенні була неможливою. Основою будь-якого семантичного аналізу є: наявність системи інтерпретації та правил її використання; гомоморфізм між правилами використання системи інтерпретації та правилами побудови документів, які передбачено інтерпретувати; семантична несуперечність системи документів і системи інтерпретації. До базових параметрів, які визначають семантику документа, віднесено: семантичну значущість слів, фраз, або інших фрагментів документа; міру семантичної суперечності між компонентами, або фрагментами документа; семантичну узгодженість між окремими фразами документа; рівень таємності документа; міру безпосередньої доступності документа; період актуальності документа; швидкість зміни рівня захищеності документа.
План
ОСНОВНИЙ ЗМІСТ РОБОТИ
Список литературы
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.