Vers la sécurité mobile : caractérisation des attaques et contremesures

Résumé : Ce manuscrit d’Habilitation à Diriger des Recherches présente une synthèse de mes travaux menés à l’INSA Centre Val de Loire dans le laboratoire LIFO (Laboratoire d’Informatique Fondamentale d’Orléans) depuis septembre 2005. Nous nous sommes intéressés à la sécurité de différents systèmes, depuis les systèmes à large échelle ou à hautes performances jusqu'à ceux qui sont embarqués comme les téléphones mobiles et les cartes à puce. Nos contributions sont structurées autour de trois axes. Dans un premier temps, nous abordons le problème de la conception de politiques de sécurité pour le contrôle d'accès pour des systèmes hautes performances ou collaboratifs. Dans un second temps, nous explorons la problématique de l'intégrité du flot de contrôle. Les contributions présentées permettent tout à la fois d'élaborer des attaques ou des contremesures pour les malware Android et les cartes à puce, dont les garanties sont prouvées formellement. Enfin, dans la dernière partie nous nous intéressons à la problématique de la protection des données personnelles dans le contexte particulier de la téléphonie mobile. Pour ces systèmes, des contremesures pour traiter les attaques par canaux auxiliaires ainsi qu'un protocole respectueux de la vie privée sont proposés.
Type de document :
HDR
Cryptographie et sécurité [cs.CR]. Université d'Orléans, 2016
Liste complète des métadonnées

https://hal-univ-orleans.archives-ouvertes.fr/tel-01445558
Contributeur : Jean-François Lalande <>
Soumis le : samedi 22 avril 2017 - 14:42:53
Dernière modification le : mardi 25 avril 2017 - 01:00:46
Document(s) archivé(s) le : dimanche 23 juillet 2017 - 12:11:54

Identifiants

  • HAL Id : tel-01445558, version 2

Collections

Citation

Jean-François Lalande. Vers la sécurité mobile : caractérisation des attaques et contremesures. Cryptographie et sécurité [cs.CR]. Université d'Orléans, 2016. 〈tel-01445558v2〉

Partager

Métriques

Consultations de la notice

320

Téléchargements de fichiers

310