Lightweight and Secure Session-Key Establishment Scheme in Smart Home Environments
On the security of public key protocols