Zhora, V.; Synetskyi, O. Use of the PVS Formal Logic System in the Method of Formal Proof of Security in the Construction of Information Security Systems. TAPR 2021, 2, 41-45.