Randomized Stream Ciphers with Enhanced Security Based on Nonlinear Random Coding