Text this: Security Evaluation of Provably Secure ECC-Based Anonymous Authentication and Key Agreement Scheme for IoT