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


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’ 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 & technologies. An implementation of DLP monitoring for multiple data states and attacks jointly with selected set of users’ feedback assessments are given in conclusion, assuring comprehensiveness of the obtained results.

Reviewed article
Last updated: Tuesday, 19 March 2019