<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Иван Гайдарски</style></author><author><style face="normal" font="default" size="100%">Златогор Минчев</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Моделиране, анализ, експериментална валидация и верификация на системи за информационна сигурност в корпоративна среда</style></title><secondary-title><style face="normal" font="default" size="100%">IT4Sec Reports</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">DLP</style></keyword><keyword><style  face="normal" font="default" size="100%">UML архитектурно мета-проектиране</style></keyword><keyword><style  face="normal" font="default" size="100%">интерактивна верификация</style></keyword><keyword><style  face="normal" font="default" size="100%">мултиагентно моделиране и симулации</style></keyword><keyword><style  face="normal" font="default" size="100%">проектиране на системи за информационна сигурност</style></keyword><keyword><style  face="normal" font="default" size="100%">стохастична валидация</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2019</style></year><pub-dates><date><style  face="normal" font="default" size="100%">2019</style></date></pub-dates></dates><number><style face="normal" font="default" size="100%">132</style></number><publisher><style face="normal" font="default" size="100%">Институт по информационни и комуникационни технологии</style></publisher><pub-location><style face="normal" font="default" size="100%">София</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Публикацията представя подход за изследване на сигурността на информационните системи в корпоративна среда. Решението включва концептуално UML мета-проектиране на архитектури, последвано от мултиагентно системно моделиране и холистичен анализ на чувствителността. Получените резултати са валидирани посредством специализирана стохастична симулация, гарантирайки комбинирано използване и смесване на експертни, сензорни и машинно генерирани данни. В заключение е извършена и интерактивна верификация във виртуална корпоративна среда чрез фиктивен, футуристичен сценарий за динамично наблюдение на потребителите и технологиите. При това, с цел пълнота на изследването, са използвани DLP мониторинг за различните състояния на данните и атаките, в комбинация с избрано множество от потребителски оценки.&lt;/p&gt;</style></abstract></record></records></xml>