MDA: message digest-based authentication for mobile cloud computing
A Hierarchy of Authentication Specifications