Zhora, V. and Synetskyi, O. 2021. Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems. Technology audit and production reserves. 2, 2(58) (Apr. 2021), 41–45. DOI:https://doi.org/10.15587/2706-5448.2021.229539.