Efficient User Authentication and Key Establishment Protocols with Perfect Forward Secrecy for Mobile Devices | IEEE Conference Publication | IEEE Xplore