Return to Article Details Formal Analysis of MCAP Protocol Against Replay Attack Download PDF