A provably secure authentication scheme for distributed mobile cloud computing services is proposed. The proposed scheme achieves SK-security and strong credentials’ privacy. The proposed scheme is provably secure and efficient as compared to other related schemes. Practical demonstration is done using broadly-accepted NS-2 network simulator and AVISPA tool.