A Formal Framework for Provable Security in AI-Native 6G Networks. - Nefzi Arij Salha; Faten Hasni; Akram Hakiri; Abderrazak Jemai (MENACOMM, 2026)