Backward States Graph Analysis of the MICKEY Cipher November 10, 2011 states analysis stream cipher MICKEY Russian: PDF