Gvozdov, R.; Oliynykov, R. Method and Technique of Formal Design of Complex Information Security System in Information and Telecommunication Systems. RT 2020, 4, 91-96.