@misc{18126,
  keywords = {DLP, UML архитектурно мета-проектиране, интерактивна верификация, мултиагентно моделиране и симулации, проектиране на системи за информационна сигурност, стохастична валидация},
  author = {Ivan Gaidarski and Zlatogor Minchev},
  title = {Моделиране, анализ, експериментална валидация и верификация на системи за информационна сигурност в корпоративна среда},
  abstract = {<p>Публикацията представя подход за изследване на сигурността на информационните системи в корпоративна среда. Решението включва концептуално UML мета-проектиране на архитектури, последвано от мултиагентно системно моделиране и холистичен анализ на чувствителността. Получените резултати са валидирани посредством специализирана стохастична симулация, гарантирайки комбинирано използване и смесване на експертни, сензорни и машинно генерирани данни. В заключение е извършена и интерактивна верификация във виртуална корпоративна среда чрез фиктивен, футуристичен сценарий за динамично наблюдение на потребителите и технологиите. При това, с цел пълнота на изследването, са използвани DLP мониторинг за различните състояния на данните и атаките, в комбинация с избрано множество от потребителски оценки.</p>},
  year = {2019},
  journal = {IT4Sec Reports},
  number = {132},
  month = {2019},
  publisher = {Институт по информационни и комуникационни технологии},
  address = {София},
  language = {eng},
}