MDA: message digest-based authentication for mobile cloud computing
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols