Provable Security for the Skipjack-like Structure against Differential Cryptanalysis and Linear Cryptanalysis