Gaydarski, Ivan, and Zlatogor Minchev. Modelling, Analysis, Experimental Validation and Verification of Information Security Systems in Corporate Environment In IT4Sec Reports. Sofia: Institute of Information and Communication Technologies, 2019.