Modelling, Analysis, Experimental Validation and Verification of Information Security Systems in Corporate Environment

Publication Type:



IT4Sec Reports, Institute of Information and Communication Technologies, Number 132, Sofia, p.1-28 (2019)


Design of information security systems, DLP, interactive verification, multi-agent modelling & simulation, stochastic validation, UML architectural meta-design


<p>The publication presents an exploration approach for studying data protection in security systems within corporate environment. The approach is including: conceptual UML architecture design, together with further multi-agent system-of-systems modeling and holistic sensitivity analysis. The obtained results are next validated via an ad-hoc stochastic simulation, assuring expert, sensors&rsquo; and machine-generated data flows fusing and usage. Finally, an interactive verification is performed with virtual corporate environment and futuristic, fictitious scenario dynamic observations of both trainees &amp; technologies. An implementation of DLP monitoring for multiple data states and attacks jointly with selected set of users&rsquo; feedback assessments are given in conclusion, assuring comprehensiveness of the obtained results.</p>

Last updated: Tuesday, 19 March 2019