Efficient key distribution protocol for mobile devices in cloud environments