"A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers*" - читать интересную книгу автора (Chai F., Gao X.-S., Yuan C.)