Zhora, V., & 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), 41–45. https://doi.org/10.15587/2706-5448.2021.229539