%0 Report
%K Design of information security systems
%K DLP
%K interactive verification
%K multi-agent modelling & simulation
%K stochastic validation
%K UML architectural meta-design
%B IT4Sec Reports
%C Sofia
%D 2019
%G eng
%I Institute of Information and Communication Technologies
%P 1-28
%R https://dx.doi.org/10.11610/it4sec.0132
%T Modelling, Analysis, Experimental Validation and Verification of Information Security Systems in Corporate Environment
%8 2019