Модел на информационна система за управление на класифицирани документи в корпоративна мрежа

Abstract

Цел на настоящата дипломна работа е да се изследват въпросите свързани с управление на класифицираните документи в корпоративните организации и създаване на модел на информационна система за контрол на класифицирани документи в корпоративна мрежа. Задачите произтичащи от целта са: 1. Изследване на мястото на контрола на класифицирани документи в общата система на информационна сигурност. Анализ на работата с класифицирани документи в корпоративна организация. Обзор и анализ на методите за формално описание и анализ на процеси. 2. Създаване на модел за регистриране и наблюдение на действия с класифицирани документи в корпоративна организация. 3. Създаване на информационни модели (структури) на ИС за регистриране на действията с класифицирани документи в корпоративна организация. В първа глава се решава първата задача, свързана с обзора и анализа на контрола на работата с класифицирани документи в корпоративна организация и на методи за формално описание. Очертани са границите на проблема и са формулирани основните задачи за решаване в дипломната работа. Във втора глава за решаване на задачата за контрол на класифицирани документи се създават Формален модел на дневник на класифицирани документи и Модел на процес на поддържане на дневник на класифицирани документи в корпоративна организация. Показана е възможността за проверката за адекватност на модела чрез Е–мрежи. Построен е алгоритъм, описващ поддържането на дневника в модела, който е представен чрез графсхеми, формулирани са и са доказани твърдения за пълнота и непротиворечивост. В трета глава са предложени конкретни информационни структури на дневник на класифицирани документи в корпоративна организация. В изпълнение на част от задачите на дипломната работа са разработени информационните структури на ИС за контрол на класифицирани документи изградена на базата на РБД: Информационните структури на ИС за контрол на класифицирани документи изградена на базата на РБД са реализация на моделите: Формален модел на дневник на ИЕКД (FLogM); Модел на процес на поддържане на дневник на ИЕКД (LogB); Информационните структури на ИС са организирани в модел на РБД. Предметните модели са имплементирани при дефиниране на системи за управление на класифицирани документи в ДКСИ.