A new lightweight key exchange protocol with provable security for securing cloud-assistec. Mobile communications | IEEE Conference Publication | IEEE Xplore