ERMAP: ECC-based robust mutual authentication protocol for smart grid communication with AVISPA simulations. (5th October 2022)