Ruzhentsev, V.; Onishchenko, Y. Development of the Approach to Proving the Security of Block Ciphers to Impossible Differential Attack. EEJET 2017, 4, 28-33.