Analysis of some stream ciphers