The optimal key estimation of stream ciphers and its approximation algorithm based on a probabilistic inference | IEEE Conference Publication | IEEE Xplore