Text this: A Verifiably Secure ECC Based Authentication Scheme for Securing IoD Using FANET