@misc{18125,
  keywords = {Design of information security systems, DLP, interactive verification, multi-agent modelling & simulation, stochastic validation, UML architectural meta-design},
  author = {Ivan Gaydarski and Zlatogor Minchev},
  title = {Modelling, Analysis, Experimental Validation and Verification of Information Security Systems in Corporate Environment},
  abstract = { <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>

 },
  year = {2019},
  journal = {IT4Sec Reports},
  number = {132},
  pages = {1-28},
  month = {2019},
  publisher = {Institute of Information and Communication Technologies},
  address = {Sofia},
  doi = {https://dx.doi.org/10.11610/it4sec.0132},
  language = {eng},
}