02475nas a2200205   4500000000100000000000100001000000100002008004100003260012400044653000800168653006500176653005200241653007200293653009800365653004600463100001900509700002100528245022600549520149400775       2019                            d  c2019bИнститут по информационни и комуникационни технологииaСофия10aDLP10aUML архитектурно мета-проектиране10aинтерактивна верификация10aмултиагентно моделиране и симулации10aпроектиране на системи за информационна сигурност10aстохастична валидация1 aIvan Gaidarski1 aZlatogor Minchev00aМоделиране, анализ, експериментална валидация и верификация на системи за информационна сигурност в корпоративна среда3 a<p>Публикацията представя подход за изследване на сигурността на информационните системи в корпоративна среда. Решението включва концептуално UML мета-проектиране на архитектури, последвано от мултиагентно системно моделиране и холистичен анализ на чувствителността. Получените резултати са валидирани посредством специализирана стохастична симулация, гарантирайки комбинирано използване и смесване на експертни, сензорни и машинно генерирани данни. В заключение е извършена и интерактивна верификация във виртуална корпоративна среда чрез фиктивен, футуристичен сценарий за динамично наблюдение на потребителите и технологиите. При това, с цел пълнота на изследването, са използвани DLP мониторинг за различните състояния на данните и атаките, в комбинация с избрано множество от потребителски оценки.</p>