%0 Report
%K DLP
%K UML архитектурно мета-проектиране
%K интерактивна верификация
%K мултиагентно моделиране и симулации
%K проектиране на системи за информационна сигурност
%K стохастична валидация
%B IT4Sec Reports
%C София
%D 2019
%G eng
%I Институт по информационни и комуникационни технологии
%T Моделиране, анализ, експериментална валидация и верификация на системи за информационна сигурност в корпоративна среда
%8 2019