Security Analysis of Deterministic Re-keying with Masking and Shuffling: Application to ISAP.