Indistinguishability of Random Systems
Provable security for block Ciphers by decorrelation