Indistinguishability of Random Systems
Conditionally-perfect secrecy and a provably-secure randomized cipher