Détection de flux de contrôle illégaux dans les Smartphones

Mariem Graa (1, 2, 3) , Nora Cuppens-Bouhlahia (1, 2) , Frédéric Cuppens (1, 2) , Ana Cavalli (3)

1 Lab-STICC_TB_CID_SFIIS
2 LUSSI - Département Logique des Usages, Sciences sociales et Sciences de l'Information
3 LOR - Département Logiciels et Réseaux

La sécurité dans les systèmes embarqués tels que les smartphones exige une protection des données privées manipulées par les applications tierces. Certains mécanismes utilisent des techniques d’analyse dynamique basées sur le « data-tainting » pour suivre les flux d’informations dans le programme. Mais ces techniques ne peuvent pas détecter les flux de contrôles qui utilisent des instructions conditionnelles pour transférer implicitement les informations. En particulier, les applications malveillantes peuvent contourner le système Android et obtenir des informations sensibles à travers les flux de contrôles. Nous proposons une amélioration de l’analyse dynamique qui propage la teinte tout au long des dépendances de contrôles en utilisant les données fournies par l’analyse statique dans les systèmes Android. Notre approche réussit à détecter des attaques de contrôle de flux sur les smartphones.

Mots clés: Smartphones; Contrôle de flux; Tainting; Analyse statique; Analyse dynamique

Domaines: Informatique mobile; Systèmes embarqués

Mariem Graa, Nora Cuppens-Bouhlahia, Frédéric Cuppens, Ana Cavalli. Détection de flux de contrôle illégaux dans les Smartphones. INFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France. ⟨hal-01009849⟩