A Lightweight Key Agreement Protocol with User Anonymity in Ubiquitous Computing Environments | IEEE Conference Publication | IEEE Xplore