[PPT] - A Formal Analysis for Capturing Replay Attacks in Cryptographic PowerPoint Presentation