Завантаження Development of the approach to proving the security_Ruzhentsev_Onishchenko_Svitlychnyi_2017.pdf...