Gvozdov R, Oliynykov R. Method and technique of formal design of complex information security system in information and telecommunication systems. RT [Internet]. 2020Dec.23 [cited 2024Apr.26];4(203):91-6. Available from: http://rt.nure.ua/article/view/229338