Detecting and mitigating IMSI catcher attacks: A formalized framework for secure mobile networks | AI Sec Watch