R. Gvozdov and R. Oliynykov, “Method and technique of formal design of complex information security system in information and telecommunication systems”, RT, vol. 4, no. 203, pp. 91–96, Dec. 2020.