Ivan Gaydarski, Zlatogor Minchev"Modelling, Analysis, Experimental Validation and Verification of Information Security Systems in Corporate Environment."IT4Sec Reports(2019):1-28.it4sec_reports_132.pdf
